FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

B
Bahr, Patrick	What makes guarded types tick? (PDF, talk)
Bruse, Florian	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic (PDF, talk)
C
Cerna, David	Towards the Automatic Construction of Schematic Proofs (PDF, talk)
Cohen, Liron	Transitive Closure Logic: Infinitary and Cyclic Proof Systems (PDF, talk)
D
Das, Anupam	On the logical complexity of cyclic arithmetic (PDF, talk)
K
Komendantskaya, Ekaterina	Coinductive Uniform Proofs: An Extended Abstract (PDF, talk)
L
Lange, Martin	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic (PDF, talk)
Lettmann, Michael	Towards the Automatic Construction of Schematic Proofs (PDF, talk)
Li, Yue	Coinductive Uniform Proofs: An Extended Abstract (PDF, talk)
Lozes, Etienne	Collapses of Fixpoint Alternation Hierarchies in Low Type-Levels of Higher-Order Fixpoint Logic (PDF, talk)
M
Mannaa, Bassel	What makes guarded types tick? (PDF, talk)
Møgelberg, Rasmus Ejlers	What makes guarded types tick? (PDF, talk)
N
Nollet, Rémi	Local validity for circular proofs in linear logic with fixed points (PDF, talk)
P
Pradic, Pierre	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (PDF, talk)
R
Riba, Colin	LMSO: A Curry-Howard Approach to Church’s Synthesis via Linear Logic (PDF, talk)
Rowe, Reuben	Transitive Closure Logic: Infinitary and Cyclic Proof Systems (PDF, talk)
S
Stratulat, Sorin	Useless Explicit Induction Reasoning (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program