%0 Conference Paper %1 conf/tapsoft/Milner87 %A Milner, Robin %B TAPSOFT, Vol.1 %D 1987 %E Ehrig, Hartmut %E Kowalski, Robert A. %E Levi, Giorgio %E Montanari, Ugo %I Springer %K dblp %P 271-275 %T Dialogue with a Proof System. %U http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-1.html#Milner87 %V 249 %@ 3-540-17660-8

@inproceedings{conf/tapsoft/Milner87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Milner, Robin}, biburl = {https://www.bibsonomy.org/bibtex/23ade080bc2625d18dfd565c7f615fcbb/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_61}, interhash = {9e552b31caf7aa875f081270c6f37adc}, intrahash = {3ade080bc2625d18dfd565c7f615fcbb}, isbn = {3-540-17660-8}, keywords = {dblp}, pages = {271-275}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:25:45.000+0200}, title = {Dialogue with a Proof System.}, url = {http://dblp.uni-trier.de/db/conf/tapsoft/tapsoft87-1.html#Milner87}, volume = 249, year = 1987 }