Detail ocenění

The Best Paper award of CADE-27

Rok: 2019

Úroveň

mezinárodní

Kategorie

výzkum a vývoj

URL

http://www.cadeinc.org/Best-Paper-Award

Osoby

Havlena Vojtěch, Ing., Ph.D.
Holík Lukáš, doc. Mgr., Ph.D.
Lengál Ondřej, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.

Popis

Cena za nejlepší článek na konferenci CADE-27, a to konkrétně za článek Automata Terms in a Lazy WSkS Decision Procedure (V. Havlena, L. Holík, O. Lengál, T. Vojnar).