Decidable properties for monadic abstract state machines.

Danièle Beauquier

Published in: Ann. Pure Appl. Log. (2006)

Keyphrases

datalog programs
desirable properties
datalog queries
databases
real world
first order logic
real time
neural network
search engine
website
artificial neural networks