Formal Syntax and Semantics of Case Stacking Languages.

Christian Ebert Marcus Kracht

Published in: COLING (2000)

Keyphrases

databases
real time
formal specification
formal languages
formal model
formal language
highly expressive