A generalization of equational proof theory?

Olivier Bournez

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

A generalization of equational proof theory?

Olivier Bournez

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Process Algebra and Probabilistic Methods
Sous-titre	Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings
rédacteurs en chef	Holger Hermanns, Roberto Segala
Editeur	Springer Verlag
Pages	188-206
Nombre de pages	19
ISBN (imprimé)	9783540439134
Les DOIs	https://doi.org/10.1007/3-540-45605-8_13
état	Publié - 1 janv. 2002
Evénement	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, Danemark Durée: 25 juil. 2002 → 26 juil. 2002

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2399
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	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
Pays/Territoire	Danemark
La ville	Copenhagen
période	25/07/02 → 26/07/02

Accès au document

10.1007/3-540-45605-8_13

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Bournez, O. (2002). A generalization of equational proof theory? Dans H. Hermanns, & R. Segala (eds.), Process Algebra and Probabilistic Methods: Performance Modeling and Verification - 2nd Joint International Workshop PAPM-PROBMIV 2002, Proceedings (p. 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. Editeur / 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)).

@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? Dans 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, p. 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, Danemark, 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs