Denotational and Algebraic Semantics for the CaIT Calculus.

Ningning Chen Huibiao Zhu

Published in: ICTAC (2022)

Keyphrases

algebraic structure
operational semantics
formal semantics
formal language
term rewriting
computer algebra
database query languages
process algebra
higher order
logic programming
semantic information
model theoretic
integrity constraints
relational calculus
proof procedure