 |
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="de_Boer-Kok-Palamidessi-Rutten/89" |
|
Control flow versus logic: A denotational and declarative model for guarded Horn clauses
F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten
Proceedings of the 14th International Symposium on Mathematical Foundations of Computer Science, MFCS'89 (Porabka-Kozubnik, Poland, August 28 - September 1, 1989)
Lecture Notes in Computer Science
379
, 1989, pp. 165-176
| Editors | A. Kreczmar, G. Mirkowska | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=379&spage=165 | |
|
|
|
|