FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Akgün, Özgür	Automated Constraint Modelling with Conjure (PDF, talk)
B
Bauer, Sabine	Decidable Linear Tree Constraints (PDF, talk) Decidable Linear Tree Constraints - Extended Abstract (PDF)
C
Courcelle, Bruno	Monadic Second-Order Model Checking with Fly-Automata (PDF, talk) Monadic Second-Order Model Checking with Fly-Automata - Slides (PDF)
D
Durand, Irène	Monadic Second-Order Model Checking with Fly-Automata (PDF, talk)
F
Fichte, Johannes	Solving #SAT by Parameterized Algorithms: Exploiting Small Treewidth (PDF, talk)
Fiedor, Tomas	Lazy Automata Techniques for WS1S (PDF, talk)
Frisch, Alan	ESSENCE, A Language for Specifying Combinatorial Problems: What, Why and So What? (PDF, talk)
G
Giegerich, Robert	Declarative Dynamic Programming with Inverse Coupled Rewrite Systems (PDF, talk)
H
Holik, Lukas	Lazy Automata Techniques for WS1S (PDF, talk)
J
Janku, Petr	Lazy Automata Techniques for WS1S (PDF, talk)
K
Kneis, Joachim	Courcelle’s Theorem – A Game-Theoretic Approach (PDF, talk)
L
Langer, Alexander	Courcelle’s Theorem – A Game-Theoretic Approach (PDF, talk)
Lengal, Ondrej	Lazy Automata Techniques for WS1S (PDF, talk)
R
Rossmanith, Peter	Courcelle’s Theorem – A Game-Theoretic Approach (PDF, talk)
T
Ternovska, Eugenia	A Logic of Information Flows (PDF, talk) A Logic of Information Flows - Paper (PDF)
Traytel, Dmitriy	A Derivative-Based Decision Procedure for WS1S (PDF, talk)
V
Vojnar, Tomas	Lazy Automata Techniques for WS1S (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program