Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 author "Barendregt, H.".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 contribution "Computing and Proving".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 editor "Middeldorp, A.".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 isCitedBy Henk_Barendregt.
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 publisher "Springer".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 series "LNCS".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 title "Rewriting Techniques and Applications, 12th Int. Conf., RTA-01".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 volume "2051".
- 59f0f27f673678c9677403c9b19a35eb537eef0acfcdddc0e0ca6d9de84a1f60 year "2001".