Fingerprint
Dive into the research topics of 'Formalizing Implicational Axiomatics for Classical First-Order Logic with Functions in Isabelle/HOL'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Jørgen Villadsen, Roberto Pettinau
Research output: Contribution to conference › Conference abstract for conference › Research › peer-review