Pages that link to "Item:Q5346691"
From MaRDI portal
The following pages link to LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691):
Displaying 11 items.
- Linear approximation of execution-time constraints (Q706493) (← links)
- Invariance properties of RAMs and linear time (Q1327595) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Shrinking lambda expressions in linear time (Q4376489) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- (Q5090950) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- A hypersequent calculus with clusters for linear frames (Q5224559) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)