Counterpart Semantics for a Second-Order μ-Calculus.

Fabio Gadducci Alberto Lluch-Lafuente Andrea Vandin

Published in: Fundam. Informaticae (2012)

Keyphrases

formal language
algebraic structure
formal semantics
database query languages
logic programming
process algebra
higher order
neural network
knowledge base
semantic information
model checking
owl ontologies
relational calculus