Similar Items
-
Axiomatisation and Simulation
by: Klaus G. Troitzsch
Published: (2019-02-01) -
On the Axiomatisability of Parallel Composition
by: Luca Aceto, et al.
Published: (2022-01-01) -
On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, M, et al.
Published: (2020) -
A Complete Axiomatisation for Quantifier-Free Separation Logic
by: Stéphane Demri, et al.
Published: (2021-08-01) -
Two complete axiomatisations of pure-state qubit quantum computing
by: Hadzihasanovic, A, et al.
Published: (2018)