BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Greece
2 × United Kingdom
Collaborated with:
T.Colcombet M.Mostowski A.Schubert P.Urzyczyn
Talks about:
intuitionist (1) hierarchi (1) determin (1) automata (1) transit (1) coprim (1) tight (1) order (1) model (1) lower (1)

Person: Konrad Zdanowski

DBLP DBLP: Zdanowski:Konrad

Contributed to:

FoSSaCS 20152015
ICALP (2) 20092009
CSL 20052005

Wrote 3 papers:

FoSSaCS-2015-SchubertUZ #first-order #logic #on the
On the Mints Hierarchy in First-Order Intuitionistic Logic (AS, PU, KZ), pp. 451–465.
ICALP-v2-2009-ColcombetZ #automaton #bound
A Tight Lower Bound for Determinization of Transition Labeled Büchi Automata (TC, KZ), pp. 151–162.
CSL-2005-MostowskiZ #finite #modelling
Coprimality in Finite Models (MM, KZ), pp. 263–275.

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.