L(A) = L(B)? Decidability Results from Complete Formal Systems.

Géraud Sénizergues

Published in: ICALP (2002)

Keyphrases

real world
complex systems
data structure
building blocks
data sets
computer vision
e learning
multi agent
digital libraries
artificial neural networks
xml documents
description logics
intelligent systems
formal methods