Towards semantics of guarded induction

Samankaltaisia teoksia

• Guarded induction on final coalgebras
  Tekijä: ́Pavlovic, D
  Julkaistu: (1998)
• On the complexity of inductively learning guarded clauses
  Tekijä: Draghici, A, et al.
  Julkaistu: (2022)
• Guarded transitions in evolving specifications
  Tekijä: Pavlovic, D, et al.
  Julkaistu: (2002)
• A guarded workflow language and its formal semantics
  Tekijä: Wang, C, et al.
  Julkaistu: (2010)
• A Guarded Workflow Language and Its Formal Semantics
  Tekijä: Wang, C, et al.
  Julkaistu: (2010)