ARQNL Full papers, demo papers and invited contributions: Author Index

ARQNL FULL PAPERS, DEMO PAPERS AND INVITED CONTRIBUTIONS: AUTHOR INDEX

Shortcuts: A B C G L M O R S W

A
Azizi-Sultan, Ahmad-Saher	Pseudo-Propositional Logic (PDF, talk)
B
Benzmüller, Christoph	System Demonstration: The Higher-Order Prover Leo-III (PDF, talk)
C
Corsi, Giovanna	Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)
G
Galmiche, Didier	Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic (PDF, talk)
L
Libal, Tomer	A Simple Semi-automated Proof Assistant for First-order Modal Logics (PDF, talk)
M
Mery, Daniel	Labelled Connection-based Proof Search for Multiplicative Intuitionistic Linear Logic (PDF, talk)
Moss, Lawrence	Implementations of Natural Logics (PDF)
O
Orlandelli, Eugenio	Labelled calculi for QMLs with non-rigid and non-denoting terms (PDF, talk)
R
Reger, Giles	Some thoughts about FOL-translations in Vampire (PDF)
S
Steen, Alexander	System Demonstration: The Higher-Order Prover Leo-III (PDF, talk)
W
Wesselink, Wieger	Evidence Extraction from Parameterised Boolean Equation Systems (PDF, talk)
Willemse, Tim	Evidence Extraction from Parameterised Boolean Equation Systems (PDF, talk)