Positive Existential Definability with Unit, Addition and Coprimeness.

Mikhail R. Starchak

Published in: ISSAC (2021)

Keyphrases

positive and negative
fixed point
neural network
real world
case study
relational databases
evolutionary algorithm
control system
knowledge representation
logic programs
integrity constraints
propositional logic
control unit