International Conference on Rewriting Techniques and Applications
id:
international-conference-on-rewriting-techniques-and-applications-269-5188632
title:
International Conference on Rewriting Techniques and Applications
text:
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 rewritin
brand slug:
wiki
category slug:
encyclopedia
description:
Annual academic mathematics conference
original url:
https://en.wikipedia.org/wiki/International_Conference_on_Rewriting_Techniques_and_Applications
date created:
date modified:
2022-11-10T18:03:34Z
main entity:
{"identifier":"Q6049670","url":"https://www.wikidata.org/entity/Q6049670"}
image:
fields total:
13
integrity:
14