Pages that link to "Item:Q5892168"
From MaRDI portal
The following pages link to Least and Greatest Fixed Points in Linear Logic (Q5892168):
Displaying 33 items.
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Totality in arena games (Q636307) (← links)
- A focused approach to combining logics (Q639671) (← links)
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A proof theory for model checking (Q2331070) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Proof checking and logic programming (Q2628296) (← links)
- On the Expressivity of Minimal Generic Quantification (Q2804937) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- A Proposal for Broad Spectrum Proof Certificates (Q3100201) (← links)
- Substructural Proofs as Automata (Q3179272) (← links)
- The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- (Q5014803) (← links)
- (Q5079760) (← links)
- (Q5094136) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
- (Q5900024) (redirect page) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
