Trace Matching in a Concurrent Logical Framework
- Iliano Cervesato,
- Frank Pfenning,
- Jorge Sacchini,
- ,
- Robert Simmons
- Carnegie Mellon University,
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Forskning
Peer-reviewPublikation information
Produktionstype
Publikation:
Konference artikel i Proceeding eller bog/rapport kapitel
Konferencebidrag i proceedings
Forskning
Peer-reviewOriginalsprog
EngelskSider fra-til (Antal sider)
Sider 1 (12 sider)Publikationsmilepæle
- Udgivet - 2012
Publikationsstatus
Udgivet - 2012
Forlag
Association for Computing Machinery, USABogserie
- Bogserienavn: Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)
ISBN (Trykt)
978-1-4503-1578-4 Publication IDs
- Scopus: 84867508343
Titel på værtspublikation
LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice Metrikker
PlumX
Hentninger
4
Antal citationer
1