Approximation of (H)MSC Semantics By Automata.

Nikolai Mansurov Dmitri Vasura

Published in: SAM (2000)

Keyphrases

logic programming
cellular automata
closed form
formal semantics
semantic information
error bounds
approximation algorithms
regular expressions
approximation error
approximation methods
learning algorithm
database systems
special case
object oriented
tree automata