Towards semantics of guarded induction

Registros relacionados

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