%0 Conference Paper %1 conf/tapsoft/NavarroO87 %A Navarro, Marisa %A Orejas, Fernando %B TAPSOFT, Vol.1 %D 1987 %E Ehrig, Hartmut %E Kowalski, Robert A. %E Levi, Giorgio %E Montanari, Ugo %I Springer %K dblp %P 202-216 %T Parameterized Horn Clause Specifications: Proof Theory and Correctness. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-1.html#NavarroO87 %V 249 %@ 3-540-17660-8

@inproceedings{conf/tapsoft/NavarroO87, added-at = {2017-09-16T00:00:00.000+0200}, author = {Navarro, Marisa and Orejas, Fernando}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27b026ae6eba905c7f60e1858489bd54a/dblp}, booktitle = {TAPSOFT, Vol.1}, crossref = {conf/tapsoft/1987-1}, editor = {Ehrig, Hartmut and Kowalski, Robert A. and Levi, Giorgio and Montanari, Ugo}, ee = {https://doi.org/10.1007/3-540-17660-8_56}, interhash = {80f267dce2711f61e2481ace1328d379}, intrahash = {7b026ae6eba905c7f60e1858489bd54a}, isbn = {3-540-17660-8}, keywords = {dblp}, pages = {202-216}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:53:20.000+0200}, title = {Parameterized Horn Clause Specifications: Proof Theory and Correctness.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-1.html#NavarroO87}, volume = 249, year = 1987 }