Logic for abstract hoop twist-structures.

Shokoofeh Ghorbani

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

automated reasoning
classical logic
asynchronous circuits
databases
artificial intelligence
propositional dynamic logic
relational databases
data model
probabilistic model
higher level
multi valued