View of Restrictions for loop-check in sequent calculus for temporal logic | Lietuvos matematikos rinkinys

← Return to Article Details Restrictions for loop-check in sequent calculus for temporal logic