Journal of Symbolic Computation - PDFSEARCH.IO - Document Search Engine

Journal of Symbolic Computation
Results: 11

#	Item
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 Add to Reading List Source 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 Add to Reading List Source URL: bibliography.selflanguage.org Language: English Software engineering Computer programming Object-oriented programming Object-oriented programming languages Programming paradigms Object Self Smalltalk Prototype-based programming Common Lisp Object System Objective-C Immutable object
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† Add to Reading List Source URL: bibliography.selflanguage.org Language: 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 Add to Reading List Source URL: www.cs.ru.nl Language: 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 Add to Reading List Source URL: www.cs.uni-potsdam.de Language: 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 Add to Reading List Source URL: www.jens-otten.de Language: 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 Add to Reading List Source URL: www.cs.yale.edu Language: English
8	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
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, Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 21:54:36 Petri net Computer cluster Computing Concurrency Diagrams
10	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 Polynomials Numerical linear algebra Digital signal processing Matrix theory Linear algebra Block Wiedemann algorithm Euclidean algorithm Fast Fourier transform Time complexity Algebra Mathematics Abstract algebra

UPDATE