BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
2 × Spain
Collaborated with:
C.Jordan F.J.Balbach R.Freivalds G.R.Pogosyan
Talks about:
determinist (1) algorithm (1) quantifi (1) properti (1) frequenc (1) automata (1) express (1) develop (1) complex (1) untest (1)

Person: Thomas Zeugmann

DBLP DBLP: Zeugmann:Thomas

Contributed to:

LATA 20132013
LATA 20102010
LATA 20092009

Wrote 3 papers:

LATA-2013-FreivaldsZP #automaton #complexity #on the
On the Size Complexity of Deterministic Frequency Automata (RF, TZ, GRP), pp. 287–298.
LATA-2010-JordanZ #first-order #quantifier
Untestable Properties Expressible with Four First-Order Quantifiers (CJ, TZ), pp. 333–343.
LATA-2009-BalbachZ #algorithm #education
Recent Developments in Algorithmic Teaching (FJB, TZ), pp. 1–18.

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.