EasyChair Smart SlideDocs/Log in
Author: Ondrej Lengal

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

Complementing Büchi Automata with Ranker

Complementing Büchi Automata with Ranker

Vojtěch Havlena, Ondrej Lengal and Barbora Šmahlíková

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