Trace Matching in a Concurrent Logical Framework

Iliano Cervesato; Frank Pfenning; Jorge Sacchini; Carsten Schürmann; Robert Simmons

Trace Matching in a Concurrent Logical Framework

Iliano Cervesato, Frank Pfenning, Jorge Sacchini, Carsten Schürmann, Robert Simmons

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice
Antal sider	12
Forlag	Association for Computing Machinery
Publikationsdato	2012
Sider	1
ISBN (Trykt)	978-1-4503-1578-4
Status	Udgivet - 2012

Navn	Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)

Citationsformater

Cervesato, Iliano ; Pfenning, Frank ; Sacchini, Jorge et al. / Trace Matching in a Concurrent Logical Framework. LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, 2012. s. 1 (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

@inproceedings{22afc3c1268149dfa0e206d7230b8a4e,

title = "Trace Matching in a Concurrent Logical Framework",

author = "Iliano Cervesato and Frank Pfenning and Jorge Sacchini and Carsten Sch{\"u}rmann and Robert Simmons",

year = "2012",

language = "English",

isbn = "978-1-4503-1578-4 ",

series = "Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)",

pages = "1",

booktitle = "LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice",

publisher = "Association for Computing Machinery",

address = "United States",

}

Cervesato, I, Pfenning, F, Sacchini, J, Schürmann, C & Simmons, R 2012, Trace Matching in a Concurrent Logical Framework. i LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12), s. 1.

Trace Matching in a Concurrent Logical Framework. / Cervesato, Iliano; Pfenning, Frank; Sacchini, Jorge et al.
LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery, 2012. s. 1 (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Trace Matching in a Concurrent Logical Framework

AU - Cervesato, Iliano

AU - Pfenning, Frank

AU - Sacchini, Jorge

AU - Schürmann, Carsten

AU - Simmons, Robert

PY - 2012

Y1 - 2012

M3 - Article in proceedings

SN - 978-1-4503-1578-4

T3 - Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)

SP - 1

BT - LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice

PB - Association for Computing Machinery

ER -

Cervesato I, Pfenning F, Sacchini J, Schürmann C, Simmons R. Trace Matching in a Concurrent Logical Framework. I LFMTP '12 Proceedings of the seventh international workshop on Logical frameworks and meta-languages, theory and practice . Association for Computing Machinery. 2012. s. 1. (Proceedings of the 26th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'12)).

Trace Matching in a Concurrent Logical Framework

Fingeraftryk

Citationsformater