A Formal Calculus for Informal Equality with Binding.

Murdoch Gabbay Aad Mathijssen

Published in: WoLLIC (2007)

Keyphrases

formal language
database query languages
formal and informal learning
knowledge base
learning environment
model checking
formal model
formal methods
formal analysis
formal models
computer algebra