Reachability in Unions of Commutative Rewriting Systems Is Decidable

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiReachability in Unions of Commutative Rewriting Systems Is Decidable
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom4393
Zeszyt
Rok wydania2007
Od strony622
Do strony633
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2007

Lista autorów
  
 1. Piotr Hoffman, Zakład Logiki Stosowanej [Współautor]
 2. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Współautor]