Towards semantics of guarded induction

Նմանատիպ նյութեր

• Guarded induction on final coalgebras
  ‌: ́Pavlovic, D
  Հրապարակվել է: (1998)
• On the complexity of inductively learning guarded clauses
  ‌: Draghici, A, և այլն
  Հրապարակվել է: (2022)
• Guarded transitions in evolving specifications
  ‌: Pavlovic, D, և այլն
  Հրապարակվել է: (2002)
• A guarded workflow language and its formal semantics
  ‌: Wang, C, և այլն
  Հրապարակվել է: (2010)
• A Guarded Workflow Language and Its Formal Semantics
  ‌: Wang, C, և այլն
  Հրապարակվել է: (2010)