Forms is Decidable.

Grzegorz Rozenberg R. Verraedt

Published in: Acta Informatica (1982)

Keyphrases

first order logic
data sets
information retrieval
genetic algorithm
search algorithm
lower bound
relational databases
expressive power
transitive closure