Generalizing Montague's Theorem on Recursive Definitions.

Edoardo Rivello

Published in: Notre Dame J. Formal Log. (2021)

Keyphrases

datalog programs
von neumann
reduced order
decision making
recursive algorithm
database
information systems
website
preprocessing
hidden markov models
iterative refinement