About: International Conference on Rewriting Techniques and Applications

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Former annual conference series on rewriting

Property	Value
dbo:description	former annual conference series on rewriting (en)
dbo:wikiPageExternalLink	http://rewriting.loria.fr/rta/ https://fscd-conference.org/editions/past/ http://rewriting.org https://fscd-conference.org https://dblp.uni-trier.de/db/conf/rta/index.html
dbo:wikiPageWikiLink	dbr:Lambda_calculus dbr:Lecture_Notes_in_Computer_Science dbr:France dbr:Dijon dbr:Springer_Science+Business_Media dbc:Logic_conferences dbr:Equational_reasoning dbr:Rewriting dbr:Academic_conference dbc:Theoretical_computer_science_conferences dbr:Theorem_proving dbr:LIPIcs dbr:Higher-order_rewriting dbr:Rewriting,_Deduction,_and_Programming_(RDP) dbr:Termination_proof dbr:Unification_(computing)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Compu-conference-stub dbt:Multiple_issues dbt:Notability dbt:One_source dbt:Short_description
dct:subject	dbc:Logic_conferences dbc:Theoretical_computer_science_conferences
gold:hypernym	dbr:Conference
rdfs:label	International Conference on Rewriting Techniques and Applications (en)
owl:sameAs	freebase:International Conference on Rewriting Techniques and Applications wikidata:International Conference on Rewriting Techniques and Applications http://d-nb.info/gnd/1091615926 http://d-nb.info/gnd/1092016678 http://d-nb.info/gnd/215455-9 http://viaf.org/viaf/154211751 dbpedia-global:International Conference on Rewriting Techniques and Applications
prov:wasDerivedFrom	wikipedia-en:International_Conference_on_Rewriting_...nd_Applications?oldid=1296397001&ns=0
foaf:homepage	http://rewriting.loria.fr/rta/ http://rewriting.loria.fr/rta/
foaf:isPrimaryTopicOf	wikipedia-en:International_Conference_on_Rewriting_Techniques_and_Applications
is dbo:wikiPageRedirects of	dbr:Rewriting_Techniques_and_Applications
is dbo:wikiPageWikiLink of	dbr:Jean-Pierre_Jouannaud dbr:List_of_computer_science_conferences dbr:List_of_computer_science_conference_acronyms dbr:Vienna_Summer_of_Logic dbr:Rewriting_Techniques_and_Applications
is foaf:primaryTopic of	wikipedia-en:International_Conference_on_Rewriting_Techniques_and_Applications

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International