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: Knapik:Teodor
Contributed to:
2005
2002
2001
1992Wrote 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.