Recursion Schemes, the MSO Logic, and the U quantifier.

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

classical logic
monadic second order logic
logic programming
automated reasoning
complex objects
deductive databases
regular expressions
finite state
multi valued
fuzzy logic
modal logic
computational properties