Classical (co)recursion: Mechanics.

Paul Downen Zena M. Ariola

Published in: J. Funct. Program. (2023)

Keyphrases

deductive databases
complex objects
quantum mechanics
databases
neural network
artificial intelligence
information systems
knowledge base
data structure
logic programs
datalog programs