Login / Signup
Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties.
Christopher H. Broadbent
Arnaud Carayol
C.-H. Luke Ong
Olivier Serre
Published in:
CoRR (2020)
Keyphrases
</>
logical properties
higher order
belief revision
cellular automata
markov random field
pairwise
model checking
merging operators
bargaining solution
object oriented
default reasoning
belief change