Undecidability of the Identity Problem for Finite Semigroups.

Douglas Albert Robert Baldinger John Rhodes

Published in: J. Symb. Log. (1992)

Keyphrases

description logics
information systems
finite number
probabilistic planning
unit length
computer vision
face recognition
multi agent
special case
np complete