FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

D
Das, Anupam	Proof complexity of deep inference: a survey
G
Guglielmi, Alessio	Two Unifying Structural Principles
H
Heijltjes, Willem	An introduction to deep inference Deep-Inference Intersection Types
Horne, Ross	Truely Concurrent Processes in the Calculus of Structures
Hughes, Dominic	Some incoherent musings on deep inference and combinatorial proofs
L
Lellmann, Bjoern	Sequentialising nested systems
M
Marin, Sonia	Nested sequents for modal logics and beyond
P
Paulus, Joseph	Deep-Inference Intersection Types
Pimentel, Elaine	Sequentialising nested systems
R
Ralph, Benjamin	Deep Inference, Herbrand's Theorem and Expansion Proofs
Ramanayake, Revantha	Sequentialising nested systems

Disclaimer | Powered by EasyChair Smart Program