HIGHLIGHTS 2018: HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA
PROGRAM
AUTHORS
KEYWORDS
SLIDES
SLIDES
Efficient and Modular Coalgebraic Partition-Refinement
Thorsten Wißmann
Pumping lemmas for weighted automata
Filip Mazowiecki
Total: 2 presentations.
Disclaimer
|
Powered by EasyChair Smart Program
