BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automata (2)
büchi (1)
five (1)
formula (1)
bound (1)

Stem determinis$ (all stems)

4 papers:

ICALPICALP-v2-2015-KuperbergS #automaton #nondeterminism #on the
On Determinisation of Good-for-Games Automata (DK, MS), pp. 299–310.
FoSSaCSFoSSaCS-2009-Schewe #automaton #bound #nondeterminism
Tighter Bounds for the Determinisation of Büchi Automata (SS), pp. 167–181.
CIAACIAA-2008-GlabbeekP #algorithm #nondeterminism
Five Determinisation Algorithms (RJvG, BP), pp. 161–170.
LOPSTRLOPSTR-1991-Noel #nondeterminism
A Method for the Determinisation of Propositional Temporal Formulae (PN), pp. 276–296.

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.