This HTML5 document contains 55 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n15https://global.dbpedia.org/id/
n16https://dblp.uni-trier.de/db/conf/rta/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
n12http://rewriting.loria.fr/rta/
n22http://
n21http://viaf.org/viaf/
n9https://fscd-conference.org/editions/past/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n23https://
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n14http://d-nb.info/gnd/

Statements

Subject Item
dbr:List_of_computer_science_conference_acronyms
dbo:wikiPageWikiLink
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
Subject Item
dbr:List_of_computer_science_conferences
dbo:wikiPageWikiLink
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
Subject Item
dbr:Rewriting_Techniques_and_Applications
dbo:wikiPageWikiLink
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
dbo:wikiPageRedirects
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
Subject Item
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
rdf:type
owl:Thing dbo:SocietalEvent
rdfs:label
International Conference on Rewriting Techniques and Applications
rdfs: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, , 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.
foaf:homepage
n12:
dcterms:subject
dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
dbo:wikiPageID
6555321
dbo:wikiPageRevisionID
1121135485
dbo:wikiPageWikiLink
dbr:Rewriting dbr:Termination_proof dbr:Unification_(computing) dbr:Dijon dbr:Academic_conference dbr:France dbr:Springer_Science+Business_Media dbr:Lecture_Notes_in_Computer_Science dbr:Theorem_proving dbr:LIPIcs dbr:Equational_reasoning dbr:Rewriting,_Deduction,_and_Programming_(RDP) dbc:Theoretical_computer_science_conferences dbc:Logic_conferences dbr:Higher-order_rewriting dbr:Lambda_calculus
dbo:wikiPageExternalLink
n9: n16:index.html n12: n22:rewriting.org n23:fscd-conference.org
owl:sameAs
wikidata:Q6049670 n14:215455-9 n15:4nrFV n14:1091615926 n14:1092016678 freebase:m.0gb9t6 n21:154211751
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:One_source dbt:Multiple_issues dbt:Notability dbt:Short_description dbt:Compu-conference-stub
dbo: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, , 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 took part in the federated conferences Federated Logic Conference (FLoC) and . In 2016, RTA merged with the International Conference on Typed Lambda Calculi and Applications to form the International Conference onFormal Structures for Computation and Deduction (FSCD).
gold:hypernym
dbr:Conference
prov:wasDerivedFrom
wikipedia-en:International_Conference_on_Rewriting_Techniques_and_Applications?oldid=1121135485&ns=0
dbo:wikiPageLength
1901
foaf:isPrimaryTopicOf
wikipedia-en:International_Conference_on_Rewriting_Techniques_and_Applications
Subject Item
dbr:Jean-Pierre_Jouannaud
dbo:wikiPageWikiLink
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
Subject Item
dbr:Vienna_Summer_of_Logic
dbo:wikiPageWikiLink
dbr:International_Conference_on_Rewriting_Techniques_and_Applications
Subject Item
wikipedia-en:International_Conference_on_Rewriting_Techniques_and_Applications
foaf:primaryTopic
dbr:International_Conference_on_Rewriting_Techniques_and_Applications