An Algebraic Characterization of Transition System Equivalences

André Arnold Anne Dicky

Published in: Inf. Comput. (1989)

Keyphrases

connected components
artificial intelligence
data structure
search algorithm
natural language
transition model