TY  - UNPD
A1  - Schmidt-Schauß, Manfred
T1  - A decision algorithm for stratified context unification
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 12
N2  - Context unification is a variant of second-order unification and also a generalization of string unification. Currently it is not known whether context uni cation is decidable. An expressive fragment of context unification is stratified context unification. Recently, it turned out that stratified context unification and one-step rewrite constraints are equivalent. This paper contains a description of a decision algorithm SCU for stratified context unification together with a proof of its correctness, which shows decidability of stratified context unification as well as of satisfiability of one-step rewrite constraints.
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 12 
Y1  - 1999
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/4585
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30-9003
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/schauss/strat2001.ps
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology
CY  - Frankfurt [am Main]
ER  -