Two-Way Unary Temporal Logic over Trees

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiTwo-Way Unary Temporal Logic over Trees
Adres internetowyhttp://www.lmcs-online.org/ojs/viewarticle.php?id=387&layout=abstract
Tytuł czasopismaLOGICAL METHODS IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom5
Zeszyt3
Rok wydania2009
Od strony1
Do strony29
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Mikołaj Bojańczyk, Zakład Logiki Stosowanej [Współautor]