Higher-order pushdown trees are easy

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiHigher-order pushdown trees are easy
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom2303
Zeszyt
Rok wydania2002
Od strony205
Do strony222
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2002

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]