Login / Signup

The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.

Walter DoschSö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