1![LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 233–247, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands The Discoveries of Continuations JOHN C. REYNOLDS LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 233–247, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands The Discoveries of Continuations JOHN C. REYNOLDS](https://www.pdfsearch.io/img/a2b7cba2187bfc028a9fac8d3eb1d842.jpg) | Add to Reading ListSource URL: www.cs.ru.nl- Date: 2011-10-14 14:39:41
|
---|
2![To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object](https://www.pdfsearch.io/img/68cbb8c13e799291bcf4eb7e9bdc0d42.jpg) | Add to Reading ListSource URL: bibliography.selflanguage.orgLanguage: English |
---|
3![To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands SELF: The Power of Simplicity* DAVID UNGAR† To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands SELF: The Power of Simplicity* DAVID UNGAR†](https://www.pdfsearch.io/img/505242b52afec7e26f17a9365a7ac37d.jpg) | Add to Reading ListSource URL: bibliography.selflanguage.orgLanguage: English |
---|
4![Article Submitted to Journal of Symbolic Computation A Constructive Algebraic Hierarchy in Coq Herman Geuvers, Randy Pollack, Freek Wiedijk and Jan Zwanenburg Department of Computer Science, Nijmegen University, the Net Article Submitted to Journal of Symbolic Computation A Constructive Algebraic Hierarchy in Coq Herman Geuvers, Randy Pollack, Freek Wiedijk and Jan Zwanenburg Department of Computer Science, Nijmegen University, the Net](https://www.pdfsearch.io/img/9f25041a9fd3b863cbc8f604e3d58b4a.jpg) | Add to Reading ListSource URL: www.cs.ru.nlLanguage: English - Date: 2004-01-15 09:13:28
|
---|
5![Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of](https://www.pdfsearch.io/img/771b6289506e518a2bb9e76e95e31647.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.deLanguage: English - Date: 2008-03-22 22:29:07
|
---|
6![Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of Article Submitted to Journal of Symbolic Computation leanCoP: Lean Connection-Based Theorem Proving Jens Otten and Wolfgang Bibel Fachgebiet Intellektik, Fachbereich Informatik, Darmstadt University of](https://www.pdfsearch.io/img/0b1e439c861af52d62c328ce08b949ed.jpg) | Add to Reading ListSource URL: www.jens-otten.deLanguage: English - Date: 2012-03-30 11:05:56
|
---|
7![This is a prepublication version of a paper that appeared in LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 259–288, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands Lambda-Calcul This is a prepublication version of a paper that appeared in LISP AND SYMBOLIC COMPUTATION: An International Journal, 6, 259–288, 1993 c 1993 Kluwer Academic Publishers – Manufactured in The Netherlands Lambda-Calcul](https://www.pdfsearch.io/img/530e1fe3ef345059e7a2e59af300b958.jpg) | Add to Reading ListSource URL: www.cs.yale.eduLanguage: English |
---|
8![Author manuscript, published in Author manuscript, published in](https://www.pdfsearch.io/img/97dcbb0e743e76e189505284b7ef5005.jpg) | Add to Reading ListSource URL: specfun.inria.frLanguage: English - Date: 2013-10-21 07:16:16
|
---|
9![Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View, Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View,](https://www.pdfsearch.io/img/728cbd13c833d4a0c92d94976b4c7ccc.jpg) | Add to Reading ListSource URL: dad.ethanchung.comLanguage: English - Date: 2009-02-23 21:54:36
|
---|
10![Article Submitted to Journal of Symbolic Computation Subquadratic computation of vector Article Submitted to Journal of Symbolic Computation Subquadratic computation of vector](https://www.pdfsearch.io/img/2c3be4b3daed6881ff09a625548d181d.jpg) | Add to Reading ListSource URL: hal.archives-ouvertes.frLanguage: English - Date: 2006-10-04 06:47:04
|
---|