TY - GEN
AU - Durand, Irène
AU - Sylvestre, Marc
AU - Irène Durand and Marc Sylvestre
TI - Left-linear Bounded TRSs are Inverse Recognizability Preserving
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Term Rewriting
KW - Preservation of Recognizability
KW - Rewriting Strategies
PY - 2011
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation