MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "PARLE '93" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 14 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Processing Transactions On Grip, A Parallel Graph Reducer  
  • by G. Akerholt, K. Hammond, S. Peyton Jones, Jones, P. Trinder — 1993 — PARLE’93, Parallel Architectures and Languages Europe, number 694 in Lecture Notes in Computer Science
  • … AND P. TRINDER To appear in Proc. PARLE '93, Munich, June 1993. Abstract. The GRIP architecture allows…
  • Cited by 16 (4 self)Add To MetaCart
  • The Model Checking Kit  
  • by Claus Schröter, Stefan Schwoon, Javier Esparza — 2004 — In: Proc. ICATPN, LNCS 2697
  • …(PN) 2 - a Basic Petri Net Programming Notation. In PARLE93, LNCS 694, pages 379 – 390. Springer…
  • Cited by 10 (0 self)Add To MetaCart
  • Constraint (Logic) Programming: A Bibliography  
  • by Michael Jampel, Jean-louis Lassez, Vijay Saraswat, Ppcp' First Workshop On, C. Ziegler, M. Surauer — 1996
  • …. In PARLE'93, 1993. [869] Dan Vlasie. Rebuilding forward checking states: A repair method for handling…
  • Add To MetaCart
  • Data-parallel Implementation of Prolog  
  • by Johan Bevemyr, Johan Bevemyr — 1996
  • … Recursion-Parallelism in Prolog, In Proc. PARLE'93, Springer LNCS 694, 1993. III. Thomas Lindgren, Johan…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB