The True Concurrency of Herbrand's Theorem.

Aurore Alcolei Pierre Clairambault Martin Hyland Glynn Winskel

Published in: CSL (2018)

Keyphrases

logic programs
logic programming
database systems
first order logic
concurrency control
statistical relational learning
programming language
search engine
bayesian networks
object oriented