Higher-order pushdown trees are easy
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Higher-order pushdown trees are easy
Adres internetowy
Tytuł czasopisma
LECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom
2303
Zeszyt
Rok wydania
2002
Od strony
205
Do strony
222
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2002
Lista autorów
1.
Teodor Knapik,
Jednostka zewnetrzna
[
Współautor
]
2.
Damian Niwiński
,
Zakład Logiki Stosowanej
[
Współautor
]
3.
Paweł Urzyczyn
,
Zakład Logiki Stosowanej
[
Współautor
]