Reachability in Unions of Commutative Rewriting Systems Is Decidable

Publication info
  
Publication typePublication in a journal
Publication kindConference article
Publication titleReachability in Unions of Commutative Rewriting Systems Is Decidable
Web URL
Journal titleLECTURE NOTES IN COMPUTER SCIENCE
Media typeprinted publication
Volume4393
Book
Publication year2007
From page622
To page633
Publication number
Publication languageEnglish
Ethnic language of studied culture
Rangeinternational
Report year2007

Authors list
  
 1. Piotr Hoffman, Zakład Logiki Stosowanej [Co-author]
 2. Mikołaj Bojańczyk, Studia dzienne - doktoranckie Inst. Informatyki [Co-author]