Johannes Kepler Symposium für Mathematik

Im Rahmen des Johannes-Kepler-Symposiums für Mathematik wird Teimuraz Kutsia, Research Institute for Symbolic Computation, JKU Linz, am Wed, Oct. 13, 2010 um 17:15 Uhr im HS 13 einen öffentlichen Vortrag (mit anschließender Diskussion) zum Thema "Symbolic Computation Techniques for Unranked Terms and Hedges" halten, zu dem die Veranstalter des Symposiums,

O.Univ.-Prof. Dr. Ulrich Langer,
Univ.-Prof. Dr. Gerhard Larcher
A.Univ.-Prof. Dr. Jürgen Maaß, und
die ÖMG (Österreichische Mathematische Gesellschaft)

hiermit herzlich einladen.

Series B - Mathematical Colloquium:

The intention is to present new mathematical results for an audience interested in general mathematics.

Symbolic Computation Techniques for Unranked Terms and Hedges

In unranked terms (trees), symbols have no fixed arity. Hedges are finite sequences of such trees. They became an active subject of study in recent years because of various applications: These constructs are nearly ubiquitous in XML-related subjects. They model variadic procedures used in programming languages. They appear in rewriting, knowledge representation, program analysis and transformation, just to name a few. Most of the recent research on unranked terms and hedges has been focused on formal languages, automata, and logic.

Our contributions lie in developing new symbolic computation techniques in theories over unranked terms and hedges. We constructed solving procedures (unification, matching, disunification, constraint solving) in syntactic, equational, and order-sorted theories, proved their properties, addressed decidability issues, studied complexity, and established relations with some other solving problems. Besides, we extended equational proving methods (superposition with constraints, unfailing completion) and designed a calculus for conditional strategy-based hedge transformations. In this talk I will give an overview of some of these techniques and their applications.