*******************************************************************************

+++ Computer Science Seminar in Kiryu +++

Programme

Monday, February 29, 2016
14:00—15:30 Lecture room J3 (the building no. 6),
Kiryu campus, Gunma University

“Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground
Rewrite Systems”

Professor Aart Middeldorp (University of Innsbruck, Austria)

Abstract:
The first-order theory of rewriting is decidable for finite left-linear
right-ground rewrite systems. We present a new tool that implements the
decision procedure, which is based on tree automata techniques, for this
theory. The tool offers the possibility to synthesize rewrite systems that
satisfy properties that are expressible in the first-order theory of
rewriting. In the talk, which is based on joint work with Franziska Rapp,
we explain the decision and synthesis algorithms and demonstrate the tool.
No knowledge of term rewriting is assumed.

*******************************************************************************
http://www.st.gunma-u.ac.jp/other/14.html

Map of Kiryu campus:
http://www.st.gunma-u.ac.jp/other/13.html