View of Cut, invariant rule, and loop-check free sequent calculus for PLTL | Lietuvos matematikos rinkinys

← Return to Article Details Cut, invariant rule, and loop-check free sequent calculus for PLTL