B. Z. Li. A #-Calculus Specification of Prolog. In D. Sannella, ed, Proceedings of ESOP Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Decoding Choice Encodings - Nestmann, Pierce (1999) (52 citations) (Correct)
Algebraic Computational Models of OR-Parallel Execution of .. - Barbuti, De Francesco, al. (Correct)
Modelling OR-parallel Execution of Prolog using CHOCS - Barbuti, De Francesco, Santone (1995) (Correct)
Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (Correct)
Constraints as Processes - Victor, Parrow (1996) (10 citations) (Correct)
Decoding Choice Encodings - Nestmann, Pierce (1997) (52 citations) (Correct)
A Simple pi-Calculus Manipulation Tool - van Deursen (Correct)
Observations About Using Logic as a Specification Language - Dale Miller (1995) (3 citations) (Correct)
Constraints as Processes - Victor, Parrow (1996) (10 citations) (Correct)
pi-Calculus Semantics of Moded Flat GHC - Hirata (1995) (Correct)
Concurrent Constraints in the Fusion Calculus (Extended Abstract) - Victor, Parrow (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC