Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/BFb0014049> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- BFb0014049 author "J. Despeyroux, A. Felty, A. Hirschowitz".
- BFb0014049 doi "10.1007/BFb0014049".
- BFb0014049 id "ISBN 3-540-59048-X".
- BFb0014049 isCitedBy Higher-order_abstract_syntax.
- BFb0014049 journal Lecture_Notes_in_Computer_Science.
- BFb0014049 pages "124–138".
- BFb0014049 title "Higher-Order Abstract Syntax in Coq".
- BFb0014049 url tlca95.ps.
- BFb0014049 volume "902".
- BFb0014049 year "1995".