The equivalence problem for N.T.S. languages is decidable.

Géraud Sénizergues

Published in: Theoretical Computer Science (1983)

Keyphrases

expressive power
datalog programs
fuzzy systems
first order logic
fuzzy model
language independent
query containment
transitive closure
databases
fuzzy controller
query answering
fuzzy classifier
regular path queries
cross lingual
grammatical inference