%0 Conference Paper %1 conf/flops/Schurmann04 %A Schürmann, Carsten %B FLOPS %D 2004 %E Kameyama, Yukiyoshi %E Stuckey, Peter J. %I Springer %K dblp %P 22-23 %T Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. %U http://dblp.uni-trier.de/db/conf/flops/flops2004.html#Schurmann04 %V 2998 %@ 3-540-21402-X

@inproceedings{conf/flops/Schurmann04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Schürmann, Carsten}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/209f244fcd8667f8c6e54b82da0090cb7/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2004}, editor = {Kameyama, Yukiyoshi and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-540-24754-8_3}, interhash = {c333167d8459c58727cddabbd98189b2}, intrahash = {09f244fcd8667f8c6e54b82da0090cb7}, isbn = {3-540-21402-X}, keywords = {dblp}, pages = {22-23}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:57:22.000+0200}, title = {Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2004.html#Schurmann04}, volume = 2998, year = 2004 }