Login / Signup
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.
Walter Dosch
Sönke Magnussen
Published in:
WADT (2001)
Keyphrases
</>
higher order
information systems
linear transformation
database
high level
objective function
data structure
markov random field
high order