%0 Conference Paper %1 conf/slp/LeviPBGM87 %A Levi, Giorgio %A Palamidessi, Catuscia %A Bosco, Pier Giorgio %A Giovannetti, Elio %A Moiso, Corrado %B SLP %D 1987 %I IEEE-CS %K dblp %P 318-327 %T A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. %U http://dblp.uni-trier.de/db/conf/slp/slp87.html#LeviPBGM87 %@ 0-8186-0799-8

@inproceedings{conf/slp/LeviPBGM87, added-at = {2013-12-04T00:00:00.000+0100}, author = {Levi, Giorgio and Palamidessi, Catuscia and Bosco, Pier Giorgio and Giovannetti, Elio and Moiso, Corrado}, biburl = {https://www.bibsonomy.org/bibtex/2fb09f60369fef99cadb68770f390da8f/dblp}, booktitle = {SLP}, crossref = {conf/slp/1987}, interhash = {57103928a4fea18dd22f387bf8f737cd}, intrahash = {fb09f60369fef99cadb68770f390da8f}, isbn = {0-8186-0799-8}, keywords = {dblp}, pages = {318-327}, publisher = {IEEE-CS}, timestamp = {2013-12-05T11:34:43.000+0100}, title = {A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp87.html#LeviPBGM87}, year = 1987 }