Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/International_Conference_on_Rewriting_Techniques_and_Applications> }
Showing triples 1 to 17 of
17
with 100 triples per page.
- RTA wikiPageDisambiguates International_Conference_on_Rewriting_Techniques_and_Applications.
- Rewriting_Techniques_and_Applications wikiPageRedirects International_Conference_on_Rewriting_Techniques_and_Applications.
- Federated_Logic_Conference wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Henk_Barendregt wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Jan_Willem_Klop wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Jean-Pierre_Jouannaud wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- List_of_computer_science_conference_acronyms wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- List_of_computer_science_conferences wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Nachum_Dershowitz wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- RTA wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Rewriting_Techniques_and_Applications wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Termination_analysis wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Tobias_Nipkow wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Vienna_Summer_of_Logic wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Wayne_Snyder wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- books?vid=ISBN3-540-70588-0 isCitedBy International_Conference_on_Rewriting_Techniques_and_Applications.
- International_Conference_on_Rewriting_Techniques_and_Applications primaryTopic International_Conference_on_Rewriting_Techniques_and_Applications.