Trace Matching in a Concurrent Logical Framework
- Iliano Cervesato,
- Frank Pfenning,
- Jorge Sacchini,
- ,
- Robert Simmons
- Carnegie Mellon University,
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewPublication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 1 (12 pages)Publication milestones
- Published - 2012
Publication status
Published - 2012
Publisher
Association for Computing Machinery, United StatesBook series
- Book series name: Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)
ISBN (Print)
978-1-4503-1578-4 Publication IDs
- Scopus: 84867508343
Host publication title
LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice Publication metrics
PlumX
Captures
4
Citations
1