BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
L.Holík O.Lengál T.Vojnar
Talks about:
procedur (1) automata (1) decis (1) wsks (1) term (1) lazi (1)

Person: Vojtech Havlena

DBLP DBLP: Havlena:Vojtech

Contributed to:

CADE 20192019

Wrote 1 papers:

CADE-2019-HavlenaHLV #automaton #lazy evaluation
Automata Terms in a Lazy WSkS Decision Procedure (VH, LH, OL, TV), pp. 300–318.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.