Guarded transitions in evolving specifications

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

• Evolving specification engineering
  ‌: Pavlovic, D, և այլն
  Հրապարակվել է: (2008)
• Towards semantics of guarded induction
  ‌: ́Pavlovic, D
  Հրապարակվել է: (1998)
• Guarded induction on final coalgebras
  ‌: ́Pavlovic, D
  Հրապարակվել է: (1998)
• Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
  ‌: Kazakov, Y, և այլն
  Հրապարակվել է: (2015)
• A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
  ‌: Kazakov, Y
  Հրապարակվել է: (2004)