ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
Adres internetowy
Tytuł czasopismaSTUDIA LOGICA. AN INTERNATIONAL JOURNAL FOR SYMBOLIC LOGIC
Mediumpublikacja drukowana
Tom98
Zeszyt3
Rok wydania2011
Od strony387
Do strony428
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2011

Lista autorów
  
 1. Anh Linh Nguyen, Zakład Logiki Stosowanej [Współautor]
 2. Andrzej Szałas, Instytut Informatyki [Współautor]