%0 Conference Paper %1 conf/asm/JonesLS12 %A Jones, Cliff B. %A Lovert, Matthew J. %A Steggles, L. Jason %B ABZ %D 2012 %E Derrick, John %E Fitzgerald, John S. %E Gnesi, Stefania %E Khurshid, Sarfraz %E Leuschel, Michael %E Reeves, Steve %E Riccobene, Elvinia %I Springer %K dblp %P 252-265 %T A Semantic Analysis of Logics That Cope with Partial Terms. %U http://dblp.uni-trier.de/db/conf/asm/abz2012.html#JonesLS12 %V 7316 %@ 978-3-642-30884-0

@inproceedings{conf/asm/JonesLS12, added-at = {2017-06-01T00:00:00.000+0200}, author = {Jones, Cliff B. and Lovert, Matthew J. and Steggles, L. Jason}, biburl = {https://www.bibsonomy.org/bibtex/2604b91049bf0c389269e592bb665b764/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2012}, editor = {Derrick, John and Fitzgerald, John S. and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/978-3-642-30885-7_18}, interhash = {2496adf1b21197ebb1d86deaf315b839}, intrahash = {604b91049bf0c389269e592bb665b764}, isbn = {978-3-642-30884-0}, keywords = {dblp}, pages = {252-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:05:56.000+0200}, title = {A Semantic Analysis of Logics That Cope with Partial Terms.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2012.html#JonesLS12}, volume = 7316, year = 2012 }