Recursion Schemes and the WMSO+U Logic.

Published in: STACS (2018)

Keyphrases

modal logic
logic programming
classical logic
predicate logic
complex objects
transitive closure
multi valued
database
databases
website
natural language
logic programs
automated reasoning
set theory
proof theory