FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Lazy Automata Techniques for WS1S

Tomas Fiedor, Lukas Holik, Petr Janků, Ondrej Lengal and Tomas Vojnar

Monadic Second-Order Model Checking with Fly-Automata

Bruno Courcelle and Irène Durand

A Derivative-Based Decision Procedure for WS1S

Dmitriy Traytel

Declarative Dynamic Programming with Inverse Coupled Rewrite Systems

Robert Giegerich
Total: 4 presentations.