תוצאות חיפוש - "Formal semantics."

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Modelling causality via action dependencies in branching time semantics. מאת Goltz, Ursula

    הוצא לאור ב Information processing letters.
    Article


    תמונות העטיפה
  2. 2

    Unifying wp and wlp. מאת Morgan, Carroll

    הוצא לאור ב Information processing letters.
    Article


    תמונות העטיפה

כלי חיפוש: