%0 Conference Paper %1 conf/mfcs/BoerKPR89 %A de Boer, Frank S. %A Kok, Joost N. %A Palamidessi, Catuscia %A Rutten, Jan J. M. M. %B MFCS %D 1989 %E Kreczmar, Antoni %E Mirkowska, Grazyna %I Springer %K dblp %P 165-176 %T Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs89.html#BoerKPR89 %V 379 %@ 3-540-51486-4

@inproceedings{conf/mfcs/BoerKPR89, added-at = {2021-04-09T00:00:00.000+0200}, author = {de Boer, Frank S. and Kok, Joost N. and Palamidessi, Catuscia and Rutten, Jan J. M. M.}, biburl = {https://www.bibsonomy.org/bibtex/2dd9ae6b4e435aa2d77ab578759b44d8d/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1989}, editor = {Kreczmar, Antoni and Mirkowska, Grazyna}, ee = {https://doi.org/10.1007/3-540-51486-4_64}, interhash = {69b6a3322b47feabde2b015652bfb95a}, intrahash = {dd9ae6b4e435aa2d77ab578759b44d8d}, isbn = {3-540-51486-4}, keywords = {dblp}, pages = {165-176}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:30:25.000+0200}, title = {Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs89.html#BoerKPR89}, volume = 379, year = 1989 }