Login / Signup
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem.
Thomas Paine
Published in:
MFPS (2020)
Keyphrases
</>
classical logic
data structure
evolutionary algorithm
logic programming
heuristic search
intuitionistic logic