Gregor Meyer (meyer-g)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Meyer, Gregor and Beierle, Christoph. 1998. “Dimensions of Types in Logic Programming.” in Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, edited by Wolfgang Bibel and Peter H. Schmidt, pp. 321–352. Applied Logic Series n. 8. Dordrecht: Kluwer Academic Publishers.