Journal of Symbolic Computation

Results: 11



#Item
1LISP 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

Add to Reading List

Source URL: www.cs.ru.nl

- Date: 2011-10-14 14:39:41
    2To 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

    Add to Reading List

    Source URL: bibliography.selflanguage.org

    Language: English
    3To 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†

    Add to Reading List

    Source URL: bibliography.selflanguage.org

    Language: English
      4Article 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

      Add to Reading List

      Source URL: www.cs.ru.nl

      Language: English - Date: 2004-01-15 09:13:28
        5Article 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

        Add to Reading List

        Source URL: www.cs.uni-potsdam.de

        Language: English - Date: 2008-03-22 22:29:07
          6Article 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

          Add to Reading List

          Source URL: www.jens-otten.de

          Language: English - Date: 2012-03-30 11:05:56
            7This 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

            Add to Reading List

            Source URL: www.cs.yale.edu

            Language: English
              8Author manuscript, published in

              Author manuscript, published in "Journal of Symbolic Computation 46, 1402" DOI : j.jscHomotopy techniques for multiplication modulo triangular sets

              Add to Reading List

              Source URL: specfun.inria.fr

              Language: English - Date: 2013-10-21 07:16:16
                9Journal 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,

                Add to Reading List

                Source URL: dad.ethanchung.com

                Language: English - Date: 2009-02-23 21:54:36
                10Article Submitted to Journal of Symbolic Computation Subquadratic computation of vector

                Article Submitted to Journal of Symbolic Computation Subquadratic computation of vector

                Add to Reading List

                Source URL: hal.archives-ouvertes.fr

                Language: English - Date: 2006-10-04 06:47:04