Towards semantics of guarded induction

Những quyển sách tương tự

• Guarded induction on final coalgebras
  Bằng: ́Pavlovic, D
  Được phát hành: (1998)
• On the complexity of inductively learning guarded clauses
  Bằng: Draghici, A, et al.
  Được phát hành: (2022)
• Guarded transitions in evolving specifications
  Bằng: Pavlovic, D, et al.
  Được phát hành: (2002)
• A guarded workflow language and its formal semantics
  Bằng: Wang, C, et al.
  Được phát hành: (2010)
• A Guarded Workflow Language and Its Formal Semantics
  Bằng: Wang, C, et al.
  Được phát hành: (2010)