8 papers:
- LICS-2015-Hadzihasanovic #axiom #diagrams #quantum
- A Diagrammatic Axiomatisation for Qubit Entanglement (AH), pp. 573–584.
- ICALP-2002-LohreyDH #axiom
- Axiomatising Divergence (ML, PRD, HH), pp. 585–596.
- RTA-1997-BechetGR #axiom #partial order
- A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders (DB, PdG, CR), pp. 230–240.
- ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis
- Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.
- LICS-1995-Walukiewicz #axiom #calculus #μ-calculus
- Completeness of Kozen’s Axiomatisation of the Propositional μ-Calculus (IW), pp. 14–24.
- LICS-1994-Sewell #axiom #bisimulation #equation #first-order
- Bisimulation is Not Finitely (First Order) Equationally Axiomatisable (PS), pp. 62–70.
- WSA-1992-Jensen #axiom #data type #recursion
- Axiomatising Uniform Properties of Recursive Data Structures (TPJ), pp. 144–151.
- LICS-1990-Moller #axiom #finite
- The Nonexistence of Finite Axiomatisations for CCS Congruences (FM), pp. 142–153.