2-Pointer Logic.

Helmut Seidl Julian Erhard Michael Schwarz Sarah Tilscher

Published in: Taming the Infinities of Concurrency (2024)

Keyphrases

multi valued
logic programming
genetic algorithm
modal logic
deontic logic
classical logic
database systems
proof theory
expressive power
logic synthesis
neural network
nonmonotonic logics
computational properties
probabilistic logic
automated reasoning
logic programs
relational databases