Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/bf00264598> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- bf00264598 author "Gérard Huet, Bernard Lang".
- bf00264598 doi "10.1007/bf00264598".
- bf00264598 isCitedBy Gérard_Huet.
- bf00264598 journal "Acta Informatica".
- bf00264598 pages "31–55".
- bf00264598 title "Proving and Applying Program Transformations Expressed with Second-Order Patterns".
- bf00264598 volume "11".
- bf00264598 year "1978".