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.
