EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiEXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system
Adres internetowy
Tytuł czasopismaINFORMATION PROCESSING LETTERS
Medium
Tom109
Zeszyt15
Rok wydania2009
Od strony850
Do strony855
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

Lista autorów
  
 1. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]