Cited in
(only showing first 100 items - show all)- Efficient execution in an automated reasoning environment
- scientific article; zbMATH DE number 177801 (Why is no real title available?)
- scientific article; zbMATH DE number 1482575 (Why is no real title available?)
- EMERGENCE OF COMPLEX STRATEGIES IN THE EVOLUTION OF CHESS ENDGAME PLAYERS
- Metamodeling semantics of multiple inheritance
- On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
- Equality in computer algebra and beyond.
- scientific article; zbMATH DE number 1825108 (Why is no real title available?)
- Confluently persistent tries for efficient version control
- scientific article; zbMATH DE number 52149 (Why is no real title available?)
- scientific article; zbMATH DE number 2036329 (Why is no real title available?)
- scientific article; zbMATH DE number 1231620 (Why is no real title available?)
- The Impact of the Lambda Calculus in Logic and Computer Science
- Architectures and monitoring techniques for active databases: An evaluation
- Directly reflective meta-programming
- How to evaluate the performance of gradual type systems
- New operations research and artificial intelligence approaches to traffic engineering problems
- scientific article; zbMATH DE number 194541 (Why is no real title available?)
- An algorithm for dual transformation in first-order logic
- scientific article; zbMATH DE number 2177632 (Why is no real title available?)
- Logic programming in the context of multiparadigm programming: the Oz experience
- Second order optimization methods in \texttt{LISP}
- scientific article; zbMATH DE number 4164171 (Why is no real title available?)
- scientific article; zbMATH DE number 2000439 (Why is no real title available?)
- Symbolic Lie algebras manipulations using COMMON LISP
- A proposal for error handling in OpenMP
- Computing Environments for Data Analysis III: Programming Environments
- Interleaving natural language parsing and generation through uniform processing
- Modality via iterated enrichment
- scientific article; zbMATH DE number 2089379 (Why is no real title available?)
- scientific article; zbMATH DE number 4072437 (Why is no real title available?)
- Flexible software architectures for ontology-based information systems
- scientific article; zbMATH DE number 1956462 (Why is no real title available?)
- Revised\(^{6}\) report on the algorithmic language scheme
- scientific article; zbMATH DE number 1424555 (Why is no real title available?)
- A review of Mathematica
- A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor
- The revised report on the syntactic theories of sequential control and state
- Constructive algebraic topology
- Integrating external deduction tools with ACL2
- Formal correctness of a quadratic unification algorithm
- Debugging hygienic macros
- Design and evaluation of C++ open multi-methods
- A form-based meta-model for software composition
- A theory for program and data type specification
- Stabilizer
- Thorn
- ACL2
- MACSYMA
- DrScheme
- OpenMusic
- Smalltalk
- ProMoT
- ABEL
- CLOS
- KLIC
- POOL
- Kenzo
- Miranda
- xloops
- CLISP
- PICCOLA
- NQTHM
- On proving the termination of algorithms by machine
- Commonloops
- EAT
- GUM
- YAFOOL
- Cecil
- VSPLAD
- Carsim
- bikeSIM
- SPACAR
- cantata
- Scheme
- ACIS 3D
- Naira
- PolyTOIL
- HOL90
- Pycket
- Racket
- CHR
- TIL
- Bigloo
- Dylan
- Emacs
- QuodLibet
- SuperCollider
- VisualWorks
- ComLisp
- Sage
- Forms/3
- DefunT
- GASP IV
- TXDT
- MOLE
- SALT
- Subversion
- MzScheme
- scientific article; zbMATH DE number 52915 (Why is no real title available?)
This page was built for software: LISP
