%0 Conference Paper %1 conf/compass/Burstall95 %A Burstall, Rod M. %B COMPASS/ADT %D 1995 %E Haveraaen, Magne %E Owe, Olaf %E Dahl, Ole-Johan %I Springer %K dblp %P 14-16 %T Inductively Defined Relations: A Brief Tutorial (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/compass/compass95.html#Burstall95 %V 1130 %@ 3-540-61629-2

@inproceedings{conf/compass/Burstall95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Burstall, Rod M.}, biburl = {https://www.bibsonomy.org/bibtex/2b2302ddc4576b06171904d93a8d62be6/dblp}, booktitle = {COMPASS/ADT}, crossref = {conf/compass/1995}, editor = {Haveraaen, Magne and Owe, Olaf and Dahl, Ole-Johan}, ee = {https://doi.org/10.1007/3-540-61629-2_33}, interhash = {ae57aed5d76960a26e002f7e3700b39d}, intrahash = {b2302ddc4576b06171904d93a8d62be6}, isbn = {3-540-61629-2}, keywords = {dblp}, pages = {14-16}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:27:48.000+0200}, title = {Inductively Defined Relations: A Brief Tutorial (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/compass/compass95.html#Burstall95}, volume = 1130, year = 1995 }