[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |
Originator: Bruno Courcelle
Date: January 2005
Summary: Investigate normalization by a canonical term rewrite system in the setting of second-order monadic logic
Consider a confluent and terminating term rewriting system and the mapping from a term to its normal form. When is this mapping a monadic second-order transduction? When does it preserve decidability of the monadic second-order theory of a set of terms?
[Submit a comment] [RTALooP home] [Index] [Previous] [Next] | [Postscript] [PDF] [BibTeX Source] [LaTeX Source] |