Equivalence and Membership Problems for Regular Trace Languages.

Alberto Bertoni Giancarlo Mauri Nicoletta Sabadini

Published in: ICALP (1982)

Keyphrases

application domains
optimization problems
benchmark problems
expressive power
data sets
website
clustering algorithm
first order logic
text summarization
problems involving