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:
ACM Trans. Comput. Log. (2021)
Keyphrases
</>
logical properties
higher order
belief revision
pairwise
cellular automata
bargaining solution
merging operators
model checking
belief base
object oriented
conditional random fields
propositional logic
belief change