-Calculus with a Natural Number-Valued Semantics.

Alexis Goyet Masami Hagiya Yoshinori Tanabe

Published in: WoLLIC (2010)

Keyphrases

valued semantics
database systems
data model
knowledge representation