"Characterizations of the Decidability of Some Problems for Regular Trace ..."

IJsbrand Jan Aalbersberg, Hendrik Jan Hoogeboom (1989)

Details and statistics

DOI: 10.1007/BF02088289

access: closed

type: Journal Article

metadata version: 2020-05-17

a service of  Schloss Dagstuhl - Leibniz Center for Informatics