 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Citkey="Bergstra-Bethke/03" |
|
Polarized process algebra and program equivalence
Jan A. Bergstra, Inge Bethke
Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)
Lecture Notes in Computer Science
2719
, 2003, pp. 1-21
| Editors | Jos C.M. Baeten, Jan Karel Lenstra, Joachim Parrow, Gerhard J. Woeginger | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&id=6BN677ARDMCRFDE8 | |
|
|
|
|