Finite satisfiability for guarded fixpoint logic

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiFinite satisfiability for guarded fixpoint logic
Adres internetowy
Tytuł czasopismaINFORMATION PROCESSING LETTERS
Medium
Tom112
Zeszyt10
Rok wydania2012
Od strony371
Do strony375
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2012

Lista autorów
  
 1. Vince Bárány, Instytut Informatyki [Współautor]
 2. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Współautor]