EasyChair Smart SlideDocs/Log in
Author: Lukas Holik

This page shows all presentations of this author published in EasyChair Smart Slide.

Antichain with SAT and Tries

Antichain with SAT and Tries

Lukáš Holík and Pavol Vargovčík

Automata Terms in a Lazy WSkS Decision Procedure

Automata Terms in a Lazy WSkS Decision Procedure

Vojtěch Havlena, Lukas Holik, Ondrej Lengal and Tomas Vojnar

Lazy Automata Techniques for WS1S

Lazy Automata Techniques for WS1S

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

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair