A generalization of equational proof theory?

Olivier Bournez

doi:10.1007/3-540-45605-8_13

A generalization of equational proof theory?

Olivier Bournez

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Process Algebra and Probabilistic Methods
Subtitle of host publication	Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings
Editors	Holger Hermanns, Roberto Segala
Publisher	Springer Verlag
Pages	188-206
Number of pages	19
ISBN (Print)	9783540439134
DOIs	https://doi.org/10.1007/3-540-45605-8_13
Publication status	Published - 1 Jan 2002
Event	2nd Joint International Workshop on Process Algebra and Probabilistic Methods and Performance Modeling and Verification, PAPM-PROBMIV 2002 held as part of the Federated Logic Conference, FLoC 2002 - Copenhagen, Denmark Duration: 25 Jul 2002 → 26 Jul 2002

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2399
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	2nd Joint International Workshop on Process Algebra and Probabilistic Methods and Performance Modeling and Verification, PAPM-PROBMIV 2002 held as part of the Federated Logic Conference, FLoC 2002
Country/Territory	Denmark
City	Copenhagen
Period	25/07/02 → 26/07/02

Access to Document

10.1007/3-540-45605-8_13

Cite this

Bournez, O. (2002). A generalization of equational proof theory? In H. Hermanns, & R. Segala (Eds.), Process Algebra and Probabilistic Methods: Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings (pp. 188-206). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2399). Springer Verlag. https://doi.org/10.1007/3-540-45605-8_13

Bournez, Olivier. / A generalization of equational proof theory?. Process Algebra and Probabilistic Methods: Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings. editor / Holger Hermanns ; Roberto Segala. Springer Verlag, 2002. pp. 188-206 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{e45d2169b3f447f797ca86d8f9f6dab3,

title = "A generalization of equational proof theory?",

author = "Olivier Bournez",

year = "2002",

month = jan,

day = "1",

doi = "10.1007/3-540-45605-8\_13",

language = "English",

isbn = "9783540439134",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "188--206",

editor = "Holger Hermanns and Roberto Segala",

booktitle = "Process Algebra and Probabilistic Methods",

note = "2nd Joint International Workshop on Process Algebra and Probabilistic Methods and Performance Modeling and Verification, PAPM-PROBMIV 2002 held as part of the Federated Logic Conference, FLoC 2002 ; Conference date: 25-07-2002 Through 26-07-2002",

}

Bournez, O 2002, A generalization of equational proof theory? in H Hermanns & R Segala (eds), Process Algebra and Probabilistic Methods: Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2399, Springer Verlag, pp. 188-206, 2nd Joint International Workshop on Process Algebra and Probabilistic Methods and Performance Modeling and Verification, PAPM-PROBMIV 2002 held as part of the Federated Logic Conference, FLoC 2002, Copenhagen, Denmark, 25/07/02. https://doi.org/10.1007/3-540-45605-8_13

A generalization of equational proof theory? / Bournez, Olivier.
Process Algebra and Probabilistic Methods: Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings. ed. / Holger Hermanns; Roberto Segala. Springer Verlag, 2002. p. 188-206 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2399).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review