Searching for "Process Logic." – sorted by Relevance.
1,756 documents found, showing 1 through 10.
Next 10 →
-
Process Logics of Action
- …Process Logics of Action David Israel Artificial Intelligence Center SRI International 333…
- Add To MetaCart
-
Frame-Based Process Logics
- …Frame-Based Process Logics Jan A. Bergstra 1;2 Alban Ponse 1 1 University of Amsterdam…
- Cited by 3 (2 self) – Add To MetaCart
-
Sequential Process Logics: Notes on Origins
- …Sequential Process Logics: Notes on Origins Kohei Honda Queen Mary, London We brie y record some…
- Add To MetaCart
-
Multidatabase Transaction and Query Processing in Logic
- …Multidatabase Transaction and Query Processing in Logic eva Kuhn, Franz Puntigam and Ahmed K…
- Cited by 1 (0 self) – Add To MetaCart
-
Process Logic: Expressiveness, Decidability, Completeness
- … in Belgium AIr Rights Reserved by Academic Press, New York aria t.onaon Process Logic: Expressiveness…
- Cited by 34 (1 self) – Add To MetaCart
-
From Process Logic to Program Logic
- … From Process Logic to Program Logic Kohei HondaDepartment of Computer Science Queen Mary…
- Add To MetaCart
-
Sequential Process Logics: Soundness Proofs
- …Sequential Process Logics: Soundness Proofs Kohei Honda Queen Mary, London Abstract. We prove…
- Cited by 6 (4 self) – Add To MetaCart
-
Process Logic and Duality -- Part I: Sequential Processes
- …Process Logic and Duality Part I: Sequential Processes Kohei Honda Queen Mary, London Abstract…
- Add To MetaCart
-
Testing semantics: connecting processes and process logics
- …Testing Semantics: Connecting Processes and Process Logics Dusko Pavlovic, 1,4 Michael Mislove 2…
- Cited by 8 (0 self) – Add To MetaCart
-
Type-based {XML} Processing in Logic Programming
- …Type-based XML Processing in Logic Programming Jorge Coelho 1 and Mário Florido 2 1 Instituto…
- Cited by 13 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
