Pages that link to "Item:Q2946601"
From MaRDI portal
The following pages link to Proof search specifications of bisimulation and modal logics for the π-calculus (Q2946601):
Displayed 17 items.
- Nominal abstraction (Q617715) (← links)
- Cut elimination for a logic with induction and co-induction (Q1948276) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A proof theory for model checking (Q2331070) (← links)
- On the Role of Names in Reasoning about λ-tree Syntax Specifications (Q2804945) (← links)
- Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
- HOCore in Coq (Q2945640) (← links)
- A Logical Encoding of Timed $$\pi $$-Calculus (Q3453652) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- Proof-relevant π-calculus: a constructive account of concurrency and causality (Q4691184) (← links)
- Proof Pearl: Abella Formalization of λ-Calculus Cube Property (Q4916060) (← links)
- (Q5014803) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)
- (Q5155663) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A case study in programming coinductive proofs: Howe’s method (Q5236557) (← links)