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)