Saturation of Concurrent Collapsible Pushdown Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

82 Downloads (Pure)
Original languageEnglish
Title of host publicationFSTTCS: Foundations of Software Technology and Theoretical Computer Science
Number of pages12
Publication statusPublished - 12 Dec 2013
EventFSTTCS: Foundations of Software Technology and Theoretical Computer Science - IIT Guwahati, Guwahati, India
Duration: 12 Dec 201315 Dec 2013

Conference

ConferenceFSTTCS: Foundations of Software Technology and Theoretical Computer Science
Country/TerritoryIndia
CityGuwahati
Period12/12/1315/12/13

Cite this