Matches in DBpedia 2015-10 for { <http://ttic.uchicago.edu/~dmcallester/walther.ps> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- walther.ps author1 "McAllester, David A.".
- walther.ps author1link "David A. McAllester".
- walther.ps author2 "Arkoudas, Kostas".
- walther.ps conference "Proceedings of the 13th International Conference on Automated Deduction".
- walther.ps conferenceurl 978-3-540-61511-8.
- walther.ps editor "McRobbie, Michael A., and Slaney, J.K.".
- walther.ps isCitedBy Walther_recursion.
- walther.ps isbn "3-540-61511-3".
- walther.ps location "New Brunswick, NJ, USA".
- walther.ps pages "643--657".
- walther.ps publisher "Springer-Verlag".
- walther.ps title "Walther Recursion".
- walther.ps url walther.ps.
- walther.ps year "1996".