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 × Poland
1 × Portugal
2 × France
Collaborated with:
D.Niwinski P.Urzyczyn G.Bernot M.Bidoit I.Walukiewicz
Talks about:
tree (2) hyperalgebra (1) pushdown (1) automata (1) grammar (1) toward (1) theori (1) observ (1) notion (1) higher (1)

Person: Teodor Knapik

DBLP DBLP: Knapik:Teodor

Contributed to:

ICALP 20052005
FoSSaCS 20022002
TLCA 20012001
ESOP 19921992

Wrote 4 papers:

ICALP-2005-KnapikNUW #automaton
Unsafe Grammars and Panic Automata (TK, DN, PU, IW), pp. 1450–1461.
FoSSaCS-2002-KnapikNU #automaton #higher-order
Higher-Order Pushdown Trees Are Easy (TK, DN, PU), pp. 205–222.
TLCA-2001-KnapikNU #algebra #monad
Deciding Monadic Theories of Hyperalgebraic Trees (TK, DN, PU), pp. 253–267.
ESOP-1992-BernotBK #towards
Towards an Adequate Notion of Observation (GB, MB, TK), pp. 39–55.

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.