Deciding Confluence for a Simple Class of Relational Transducer Networks

Tom J. Ameloot, Jan Van den Bussche. Deciding Confluence for a Simple Class of Relational Transducer Networks. Theory Comput. Syst., 57(4):1038-1111, 2015. [doi]

Abstract

Abstract is missing.