%0 Conference Paper %1 conf/alpuk/PymW92 %A Pym, David J. %A Wallen, Lincoln A. %B ALPUK %D 1992 %E Broda, Krysia %I Springer %K dblp %P 253-262 %T Logic Programming via Proof-valued Computations. %U http://dblp.uni-trier.de/db/conf/alpuk/alpuk92.html#PymW92 %@ 3-540-19783-4

@inproceedings{conf/alpuk/PymW92, added-at = {2019-06-21T00:00:00.000+0200}, author = {Pym, David J. and Wallen, Lincoln A.}, biburl = {https://www.bibsonomy.org/bibtex/22d3093a1889f54eb0e40560005460869/dblp}, booktitle = {ALPUK}, crossref = {conf/alpuk/1992}, editor = {Broda, Krysia}, ee = {https://doi.org/10.1007/978-1-4471-3421-3_14}, interhash = {149470fa81a95c9ab4d104833ac1a9b2}, intrahash = {2d3093a1889f54eb0e40560005460869}, isbn = {3-540-19783-4}, keywords = {dblp}, pages = {253-262}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2019-06-22T11:38:26.000+0200}, title = {Logic Programming via Proof-valued Computations.}, url = {http://dblp.uni-trier.de/db/conf/alpuk/alpuk92.html#PymW92}, year = 1992 }