Details
Title
Guilloud, Simon
Sciper ID
250109
Affiliated labs
LARA
Publications
Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time
Formula Normalizations in Verification
Interpolation and Quantifiers in Ortholattices
Interpolation and Quantifiers in Ortholattices
LISA – A Modern Proof System
Mechanized HOL Reasoning in Set Theory
Orthologic with Axioms
Formula Normalizations in Verification
Interpolation and Quantifiers in Ortholattices
Interpolation and Quantifiers in Ortholattices
LISA – A Modern Proof System
Mechanized HOL Reasoning in Set Theory
Orthologic with Axioms
Link to search
All resources
Record appears in
Authorities > People