Aigaion statistics

• 178 publications (0 read)
• 52 authors
• 6 main topics

• About this bibliography [0]
• Form [104]
• • Abstract [1]
  • Edited [9]
  • Full [16]
  • Introduction [57]
  • Invited [20]
  • Obituary [1]
  • Overview [10]
  • Preface [6]
  • Textbook [2]
  • Tutorial [3]
• Language [56]
• • Programming [18]
  • • Algol60 [1]
    • Concurrent ML [3]
    • Prolog [2]
    • Standard ML [1]
  • Specification [39]
  • • Algebraic [33]
    • • ASF+SDF [8]
      • CASL [11]
      • OBJ [3]
      • Unified [5]
    • Higher-Order [5]
    • Rewriting Logic [4]
    • • Cafe-OBJ [1]
      • Maude [2]
    • Set-Theoretic [5]
• Meta-language [79]
• • Semantics [77]
  • • Action [38]
    • Algebraic [5]
    • Component-Based [11]
    • Denotational [15]
    • • Monadic [3]
      • VDM [2]
    • Dynamic [8]
    • Modular [21]
    • Operational [32]
    • • Structural [29]
    • Static [0]
  • Syntax [5]
  • • Abstract [4]
    • Concrete [1]
• Theory [4]
• • Automata [2]
  • Term rewriting [2]
  • Verification [2]
• Tool [13]
• • Environment [7]
  • Generator [8]