Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/International_Conference_on_Rewriting_Techniques_and_Applications> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- International_Conference_on_Rewriting_Techniques_and_Applications abstract "Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus. The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series until 2009, and since then in the LIPIcs series published by the Leibniz-Zentrum für Informatik. Several rewriting-related workshops are also affiliated with RTA.The first RTA was held in Dijon, France in September 1983. RTA takes part in the federated conferences Federated Logic Conference (FLoC), and Rewriting, Deduction, and Programming (RDP).".
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageExternalLink rta.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageID "6555321".
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageLength "1592".
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageOutDegree "17".
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageRevisionID "580103086".
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Academic_conference.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Automated_theorem_proving.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Category:Logic_conferences.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Category:Theoretical_computer_science_conferences.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Dijon.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Federated_Logic_Conference.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink France.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Higher-order_rewriting.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink LIPIcs.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Lambda_calculus.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Rewriting.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Rewriting,_Deduction,_and_Programming_(RDP).
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Springer_Science+Business_Media.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Termination_analysis.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Unification_(computer_science).
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLink Universal_algebra.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageWikiLinkText "International Conference on Rewriting Techniques and Applications".
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageUsesTemplate Template:Cite_book.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageUsesTemplate Template:Compu-conference-stub.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageUsesTemplate Template:Multiple_issues.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageUsesTemplate Template:Notability.
- International_Conference_on_Rewriting_Techniques_and_Applications wikiPageUsesTemplate Template:One_source.
- International_Conference_on_Rewriting_Techniques_and_Applications subject Category:Logic_conferences.
- International_Conference_on_Rewriting_Techniques_and_Applications subject Category:Theoretical_computer_science_conferences.
- International_Conference_on_Rewriting_Techniques_and_Applications hypernym Conference.
- International_Conference_on_Rewriting_Techniques_and_Applications type SocietalEvent.
- International_Conference_on_Rewriting_Techniques_and_Applications comment "Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, unification and the lambda calculus. The conference consists of peer-reviewed papers with the proceedings published by Springer in the LNCS series until 2009, and since then in the LIPIcs series published by the Leibniz-Zentrum für Informatik.".
- International_Conference_on_Rewriting_Techniques_and_Applications label "International Conference on Rewriting Techniques and Applications".
- International_Conference_on_Rewriting_Techniques_and_Applications sameAs Q6049670.
- International_Conference_on_Rewriting_Techniques_and_Applications sameAs m.0gb9t6.
- International_Conference_on_Rewriting_Techniques_and_Applications sameAs Q6049670.
- International_Conference_on_Rewriting_Techniques_and_Applications wasDerivedFrom International_Conference_on_Rewriting_Techniques_and_Applications?oldid=580103086.
- International_Conference_on_Rewriting_Techniques_and_Applications isPrimaryTopicOf International_Conference_on_Rewriting_Techniques_and_Applications.