Conference: LaSh 2018 (2018 Workshop on Logic and Search)

Conference: LaSh 2018 (2018 Workshop on Logic and Search)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Lazy Automata Techniques for WS1S

Lazy Automata Techniques for WS1S

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

A Derivative-Based Decision Procedure for WS1S

A Derivative-Based Decision Procedure for WS1S

Dmitriy Traytel

Declarative Dynamic Programming with Inverse Coupled Rewrite Systems

Declarative Dynamic Programming with Inverse Coupled Rewrite Systems

Robert Giegerich

Monadic Second-Order Model Checking with Fly-Automata

Monadic Second-Order Model Checking with Fly-Automata

Bruno Courcelle and Irène Durand

Presentations in this collection: 4