Login / Signup
Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.
Till Mossakowski
Anne E. Haxthausen
Donald Sannella
Andrzej Tarlecki
Published in:
Comput. Artif. Intell. (2003)
Keyphrases
</>
specification language
proof theory
default reasoning
programming language
proof theoretic
formal specification
description language
automated reasoning
probabilistic reasoning
default logic
reasoning problems
nonmonotonic reasoning
databases
theorem prover
model checking
data model
expert systems