Saturation of Concurrent Collapsible Pushdown Systems. / Hague, Matthew.

FSTTCS: Foundations of Software Technology and Theoretical Computer Science. 2013.

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

Published

Documents

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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 25573209