An Imperative Pure Calculus.

Andrea Capriccioli Marco Servetto Elena Zucca

Published in: Electron. Notes Theor. Comput. Sci. (2016)

Keyphrases

automated deduction
computer algebra
information systems
multiscale
data structure
information technology
description logics
algebraic structure
timed automata