Login / Signup

Using Quasi Ordered Sets to Model Program Properties Denotationally.

Markus Mohnen
Published in: GI Jahrestagung (1997)
Keyphrases
  • mathematical model
  • hierarchical structure
  • decision trees
  • objective function
  • special case
  • combinatorial optimization
  • ordered sets