Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 booktitle "21st Ann. Symp. on Foundations of Computer Science".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 first1 "G.".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 first2 "J.M.".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 isCitedBy Structural_induction.
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 last1 "Huet".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 last2 "Hullot".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 pages "96-107".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 publisher "IEEE".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 title "Proofs by Induction in Equational Theories with Constructors".
- 614db96505b296e35ca284ebc9497855d10e2c5179f9f8f3d89d94e03eb9c837 year "1980".