A undecidability result for regular anguages and its applications to regulated rewriting.

Friedhelm Hinz Jürgen Dassow

Published in: Bull. EATCS (1989)

Keyphrases

databases
machine learning
video sequences
computational complexity
description logics
data sets
computer vision
website
optimal solution