|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 736 occurrences of 390 keywords
|
|
|
Results
Found 1752 publication records. Showing 1752 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Guiseppe Attardi |
The embeddable Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Papers of the Fourth International Conference on LISP Users and Vendors, LUV 1994, Berkeley, California, USA, August 15-19, 1994, pp. 30-41, 1994, ACM, 978-1-4503-4724-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | John S. Boreczky |
Building common Lisp applications with reasonable performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the Third International Conference on Lisp Users and Vendors, LUV 1993, Cambridge, Massachusetts, USA, August 9-13, 1993, pp. 20-29, 1993, ACM, 978-1-4503-7792-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | John R. Hodgkinson |
Bungee jumping off the ivory tower: payoffs and perils when fledgling computer professionals are imprinted on Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the Third International Conference on Lisp Users and Vendors, LUV 1993, Cambridge, Massachusetts, USA, August 9-13, 1993, pp. 30-39, 1993, ACM, 978-1-4503-7792-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Randal V. Zoeller, Jeff Galarneau |
Knocking down the corporate barriers to Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the Third International Conference on Lisp Users and Vendors, LUV 1993, Cambridge, Massachusetts, USA, August 9-13, 1993, pp. 40-43, 1993, ACM, 978-1-4503-7792-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Edwin S. Petrus |
SKILL: a Lisp based extension language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the Third International Conference on Lisp Users and Vendors, LUV 1993, Cambridge, Massachusetts, USA, August 9-13, 1993, pp. 71-79, 1993, ACM, 978-1-4503-7792-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
30 | Gilles Barbedette |
LISP O2: a Persistent Object-Oriented Lisp. (reprint from: EDBT 1990: 332-347) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Building an Object-Oriented Database System, The Story of O2 ![In: Building an Object-Oriented Database System, The Story of O2, pp. 215-233, 1992, Morgan Kaufmann, 1-55860-169-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
30 | John R. Hodgkinson |
Sleeping with the enemy: Lisp and C in a large, profitable real-time application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the 1992 Conference on Lisp Users and Vendors, LUV 1992, San Diego, California, USA, August 10-14, 1992, pp. 16-22, 1992, ACM, 978-1-4503-7791-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Markus Fischer |
Unifying software elements with LISP-based object-oriented technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the 1992 Conference on Lisp Users and Vendors, LUV 1992, San Diego, California, USA, August 10-14, 1992, pp. 33-42, 1992, ACM, 978-1-4503-7791-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Harry W. Egdorf |
Lisp and portability: the process modeling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the 1992 Conference on Lisp Users and Vendors, LUV 1992, San Diego, California, USA, August 10-14, 1992, pp. 49-56, 1992, ACM, 978-1-4503-7791-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Charles Dale |
Connecting to a relational database application from Interleaf 5 using Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LUV ![In: Proceedings of the 1992 Conference on Lisp Users and Vendors, LUV 1992, San Diego, California, USA, August 10-14, 1992, pp. 5-10, 1992, ACM, 978-1-4503-7791-1. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Heribert Schütz |
R-Lisp: eine erweiterte relationale Algebra in Lisp ![Search on Bibsonomy](Pics/bibsonomy.png) |
Forschungsberichte, TU Munich ![In: Forschungsberichte, TU Munich TUM I 9049, pp. 1-33, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
RDF |
|
30 | Richard J. Fateman |
A lisp-language Mathematica-to-lisp translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSAM Bull. ![In: SIGSAM Bull. 24(2), pp. 19-21, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
30 | C. K. Yuen, W. F. Wong |
A bidirectional data driven Lisp engine for the direct execution of Lisp in parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGARCH Comput. Archit. News ![In: SIGARCH Comput. Archit. News 17(4), pp. 119-130, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | Keith Price |
Book review: LISP LORE: A Guide to Programming the LISP Machine, (2nd Edition) by Hank Bromley and Richard Lamson (Kluwer Academic Publishers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 103, pp. 22, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Steffen Schulze-Kremer |
Common LISP - ein geeigneter Lisp Standard? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prax. Inf.verarb. Kommun. ![In: Prax. Inf.verarb. Kommun. 11(3), pp. 181-184, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Keith Price |
Book review: Lisp Lore: A Guide to Programming the Lisp Machine by: Hank Bromley Kluwer (Academic Publishers). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 100, pp. 18, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
30 | Fausto Giunchiglia |
Kyoto Common LISP: A High Level Language Implementation of Common LISP on General Purpose Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPCON ![In: COMPCON'87, Digest of Papers, Thirty-Second IEEE Computer Society International Conference, San Francisco, California, USA, February 23-27, 1987, pp. 124-129, 1987, IEEE Computer Society, 0-8186-0764-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
30 | Lee Boynton, Pierre Lavoie, Yann Orlarey, Camilo Rueda, David Wessel |
MIDI-LISP: A LISP-Based Music Programming Environment for the Macintosh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 1986 International Computer Music Conference, ICMC 1986, Den Haag, The Netherlands, October 20-24, 1986, 1986, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
30 | Rodney A. Brooks, Richard P. Gabriel, Guy L. Steele Jr. |
Lisp-in-Lisp: High Performance and Portability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, FRG, August 1983, pp. 845-849, 1983, William Kaufmann. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
30 | Richard J. Fateman |
Views on transportability of Lisp and Lisp-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYMSACC ![In: Proceedings of the Symposium on Symbolic and Algebraic Manipulation, SYMSAC 1981, Snowbird, Utah, USA, August 5-7, 1981, pp. 137-141, 1981, ACM, 0-89791-047-8. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
30 | Harald Wertz |
Understanding Lisp-Programs is Improving Lisp-Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung ![In: GI - 6. Jahrestagung, Stuttgart, 29. September - 1. Oktober 1976, Proceedings, pp. 427-441, 1976, Springer, 3-540-07912-2. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
30 | Herbert Stoyan |
Comparison of two LISP-compilers: Standford versus DOS/ES-LISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 11(4-6), pp. 371-375, 1975. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
29 | Robert Glück, Masahiko Kawabe |
Revisiting an automatic program inverter for Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 40(5), pp. 8-17, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
LISP |
29 | Antonio Paulo Teles de Menezes Correia Leitao |
A Formal Pattern Language for Refactoring of Lisp Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 6th European Conference on Software Maintenance and Reengineering (CSMR 2002), 11-13 March 2002, Budapest, Hungary, Proceedings, pp. 186-192, 2002, IEEE Computer Society, 0-7695-1438-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Refactoring, Lisp, Pattern Languages |
29 | Michael L. Gassanenko |
About Code Layout for Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 36(9), pp. 77-80, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
LISP |
29 | Robert St. Amant, Robert Michael Young |
Links: Common Lisp resources on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 12(3), pp. 21-23, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Common Lisp |
29 | Erann Gat |
Point of view: Lisp as an alternative to Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. ![In: Intell. 11(4), pp. 21-24, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Java, LISP |
29 | Nicholas Pippenger |
Pure Versus Impure Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(2), pp. 223-238, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
schematology, LISP, online computation |
29 | Ann E. Nicholson, K. M. Fraser |
Methodologies for teaching new programming languages: a case study teaching LISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSE ![In: Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, ACSE 1997, Melbourne, Victoria, Australia, 1997, pp. 84-90, 1997, ACM, 0-89791-958-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
LISP |
29 | Nicholas Pippenger |
Pure versus Impure LISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996, pp. 104-109, 1996, ACM Press, 0-89791-769-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
LISP |
29 | Javier Sánchez, Jordi Vitrià |
ViLi (Vision LISP): a software environment for teaching image processing and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, ITiCSE 1996, Barcelona, Spain, 2-6 June, 1996, pp. 234, 1996, ACM, 0-89791-844-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
LISP |
29 | Robert Muller |
M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 234-242, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LISP |
29 | Süleyman Sevinc |
Extending common LISP object system for discrete event modeling and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 23th Winter Simulation Conference, Phoenix, Arizona, USA, December 8-11, 1991, pp. 204-206, 1991, IEEE Computer Society, 0-7803-0181-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LISP |
29 | Christian Masson, Remy Escassut, Denis Barbier, Daniel Winer, Gregory Chevallier |
Object Oriented Lisp Implementation of the CHEOPS VLSI Floor Planning and Routing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 28th Design Automation Conference, San Francisco, California, USA, June 17-21, 1991., pp. 259-264, 1991, ACM, 0-89791395-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
LISP |
29 | Richard J. Fateman |
Canonical Representations in Lisp and Applications to Computer Algebra systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991, pp. 360-369, 1991, ACM, 0-89791-437-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Common Lisp |
29 | Daniel G. Bobrow, Linda G. DeMichiel, Richard P. Gabriel, Sonya E. Keene, Gregor Kiczales, David A. Moon |
Common Lisp Object System Specification X2JI3 Document 88-002R ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(SI), pp. 1.1-2.94, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
29 | Kerry Kimbrough, Lamott Oren |
Clue: A Common Lisp User Interface Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on User Interface Software and Technology ![In: Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology, UIST 1988, Alberta, Canada, October 17-19, 1988, pp. 85-94, 1988, ACM, 0-89791-283-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
29 | Brian Cantwell Smith |
Reflection and Semantics in Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 23-35, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
LISP |
29 | Richard C. Waters |
User Format Control in a Lisp Prettyprinter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 5(4), pp. 513-531, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
LISP |
29 | Warren Teitelman |
Clisp: Conversational Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 25(4), pp. 354-357, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
Automatic error correction, programming, programming languages, Lisp, interactive systems, list processing, extensible languages |
29 | Robert Fenichel, Jerome C. Yochelson |
A LISP garbage-collector for virtual-memory computer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 12(11), pp. 611-612, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
LISP: garbage-collector, virtual memory, storage-allocation, list-processing |
29 | Knut Bahr |
Letters to the editor: An auxiliary program to analyze LISP 1.5 programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 11(6), pp. 392, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
cross references, list processing language, debugging, program, program analysis, LISP |
29 | Hideaki Saiki, Yoshiharu Konaka, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa |
Real-Time GC in JeRTyTmVM Using the Return-Barrier Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, WA, USA, pp. 140-148, 2005, IEEE Computer Society, 0-7695-2356-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Mirian Andrés, Vico Pascual, Ana Romero 0001, Julio Rubio 0001 |
Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 635-642, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Richard Kelsey, William D. Clinger, Jonathan Rees |
Revised5 Report on the Algorithmic Language Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 33(9), pp. 26-76, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
SCHEME |
29 | Zoran Putnik, Zoran Budimac, Mirjana Ivanovic |
Turtle walk through functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(2), pp. 75-82, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | Christian Queinnec |
Compilation of Non-Linear, Second Order Patterns on S-Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 340-357, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Chandrajit L. Bajaj, Andrew V. Royappa |
The GANITH algebraic geometry toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings, pp. 268-269, 1990, Springer, 3-540-52531-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Chang Li |
Concurrent programming language - LISPTALK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 23(4), pp. 71-80, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | D. R. Beuerman |
Database prototyping and implementation (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 370, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | J. E. Caviedas |
How to Select Among Alternative Knowledge Representations for Better Knowledge Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 2) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA- Volume 2, pp. 833-836, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP, LISP, GENIE |
28 | Dennis S. Martin |
A miniLISP interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 18th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1987, St. Louis, Missouri, USA, February 19-20, 1987, pp. 316-318, 1987, ACM, 978-0-89791-217-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
LISP, LISP |
28 | Robert S. Boyer, J Strother Moore, Robert E. Shostak |
Primitive Recursive Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976, pp. 171-174, 1976, ACM Press. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
Theorem proving, Program verification, LISP, LISP, Flowcharts, Structural induction |
24 | Mirian Andrés, Laureano Lambán, Julio Rubio 0001 |
Executing in Common Lisp, Proving in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, pp. 1-12, 2007, Springer, 978-3-540-73083-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Yulia Korukhova |
Automatic Deductive Synthesis of Lisp Programs in the System ALISA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 242-252, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Federico Peinado, Pablo Gervás |
Minstrel Reloaded: From the Magic of Lisp to the Formal Semantics of OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006., pp. 93-97, 2006, Springer, 3-540-49934-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Computational Narratology, Semantic Technologies, Story Generation, Story Representation |
24 | Richard Potter |
Computation Scrapbooks of Emacs Lisp Runtime State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 236-237, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Steven L. Tanimoto, Jeremy W. Baer |
Programming at the End of the Learning Curve: Lisp Scripting for Image Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 238-, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Axel Dold, Vincent Vialard |
A Mechanically Verified Compiling Specification for a Lisp Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings, pp. 144-155, 2001, Springer, 3-540-43002-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Isabel Fernández-Anta, Eva Millán, José-Luis Pérez-de-la-Cruz |
Adaptation and Generation in a Web-Based Lisp Tutor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, International Conference, AH 2000, Trento, Italy, August 28-30, 2000, Proceedings, pp. 297-300, 2000, Springer, 3-540-67910-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Matt Kaufmann, J Strother Moore |
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(4), pp. 203-213, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
total functions, microcode verification, floating point division, Formal verification, digital signal processing, type checking, computational logic, automatic theorem proving, partial functions |
24 | Salvatore Caporaso, Michele Zito 0001, Nicola Galesi, Emanuele Covino |
Syntactic Characterization in LISP of the Polynominal Complexity Classes and Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAC ![In: Algorithms and Complexity, Third Italian Conference, CIAC '97, Rome, Italy, March 12-14, 1997, Proceedings, pp. 61-73, 1997, Springer, 3-540-62592-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Hermann Ilmberger, Sabine Thürmel |
A Toolkit for Debugging Parallel Lisp Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 406-422, 1991, Springer, 3-540-54151-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Christine Choppy, G. Guiho, Stéphane Kaplan |
A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), pp. 403-415, 1985, Springer, 3-540-15198-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
24 | Anders Haraldsson |
A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fifth Annual ACM Symposium on Principles of Programming Languages, Tucson, Arizona, USA, January 1978, pp. 195-202, 1978, ACM Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
24 | Daniel G. Bobrow, Daniel L. Murphy 0001 |
Structure of a LISP system using two-level storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 10(3), pp. 155-159, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
23 | Luigi Iannone, Olivier Bonaventure |
On the cost of caching locator/ID mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNEXT ![In: Proceedings of the 2007 ACM Conference on Emerging Network Experiment and Technology, CoNEXT 2007, New York, NY, USA, December 10-13, 2007, pp. 7, 2007, ACM, 978-1-59593-770-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
locator/ID separation, routing, LISP, addressing, internet architecture |
23 | Augustin Lux |
The Imalab method for vision systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Vis. Appl. ![In: Mach. Vis. Appl. 16(1), pp. 21-26, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Vision library, C + +, Prolog, Lisp, Computer vision systems |
23 | Francoise Balmas |
Toward a Framework for Conceptual and Formal Outlines of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 4th Working Conference on Reverse Engineering, WCRE '97, Amsterdam, The Netherlands, October 6-8, 1997, pp. 226-235, 1997, IEEE Computer Society, 0-8186-8162-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
formal program outlines, conceptual program outlines, program re-documentation, computation localization, code role identification, PRISME system, automatic outline construction, Lisp looping functions, reverse specification, model, reverse engineering, debugging, program understanding, loops |
23 | Robert P. Futrelle, Nikos Nikolakis |
Efficient analysis of complex diagrams using constraint-based parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Third International Conference on Document Analysis and Recognition, ICDAR 1995, August 14 - 15, 1995, Montreal, Canada. Volume II, pp. 782-790, 1995, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
complex diagrams, constraint-based parsing, constraint grammars, graphics primitives, vectorized diagrams, genetic diagrams, finite state automata diagrams, Macintosh Common Lisp, Macintosh Quadra 700, finite automata, polygons, lines, spatial indexing, electronic documents, circles, Bezier curves |
23 | Olaf Bachmann, Paul S. Wang, Eugene V. Zima |
Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC '94, Oxford, UK, July 20-22, 1994, pp. 242-249, 1994, ACM, 0-89791-638-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Common Lisp |
23 | Chen-Chau Chu, Jake K. Aggarwal |
Image Interpretation Using Multiple Sensing Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(8), pp. 840-847, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
multiple sensing modalities, AIMS, multisensor fusion, KEE format, knowledge-based interpretation modules, concurrent service manager, optical radar, remote sensing by laser beam, computer vision, image segmentation, knowledge based systems, computerised pattern recognition, Lisp, image interpretation, infrared imaging, forward chaining, thermal imagers, laser radar |
23 | Eric Mohr, David A. Kranz, Robert H. Halstead Jr. |
Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 2(3), pp. 264-280, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
granularity problem, simpler load-based inlining method, dynamic bad level, robust lazy task creation method, processing results, Mul-T, performance statistics, naturally expressed algorithms, parallel Lisp systems, parallel algorithm, parallel algorithms, parallel programming, Scheme, parallel languages, parallel implementation, parallel tasks |
23 | Ikuo Nakata, Masataka Sassa |
Programming with Streams in a Pascal-Like Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(1), pp. 1-9, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
loop statements, Pascal-like language, fixed type, composite function, component functions, iterative statements, parallel mode, coroutine mode, inline mode, programming, functional programming, streams, Lisp, reusability, combinations, coroutines, programming styles, dataflow languages |
23 | Rangachar Kasturi, Juan Alemany |
Information Extraction of Paper-Based Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(5), pp. 671-675, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
paper-based maps, spatial features, image-analysis algorithms, closed contours, map images, query processor, information retrieval, user interfaces, Fortran, database management systems, query languages, shortest paths, Lisp, distances, syntax, cartography, geographic data |
23 | Robert L. Nord, Frank Pfenning |
The Ergo Attribute System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988, pp. 110-120, 1988, ACM, 0-89791-290-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
23 | Patrick Borras, Dominique Clément, Th. Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, V. Pascual |
CENTAUR: The System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Boston, Massachusetts, USA, November 28-30, 1988, pp. 14-24, 1988, ACM, 0-89791-290-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
23 | V. K. Chawla, R. K. Ragade, P. B. Deshpande |
ProCEED: An Expert System for Multivariate Process Control Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 1) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988 - Volume 1, pp. 498-506, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
FORTRAN, LISP |
23 | Ron Goldman 0001, Richard P. Gabriel |
Qlisp: Experience and New Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPOPP/PPEALS ![In: Proceedings of the ACM/SIGPLAN PPEALS 1988, Parallel Programming: Experience with Applications, Languages and Systems, New Haven, Connecticut, USA, July 19-21, 1988, pp. 111-123, 1988, ACM, 0-89791-276-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
23 | Robert H. Halstead Jr. |
Multilisp: A Language for Concurrent Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(4), pp. 501-538, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
LISP, SCHEME, MULTILISP |
23 | Martin Jourdan |
Strongly non-circular attribute grammars and their recursive evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp. 81-93, 1984, ACM, 0-89791-139-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
circularity tests, evaluation by need, recursive evaluation, Lisp, storage management, Attribute grammars |
23 | Richard P. Gabriel, Martin E. Frost |
A Programming Environment for a Timeshared System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Development Environments (SDE) ![In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Pennsylvania, USA, April 23-25, 1984, pp. 185-192, 1984, ACM, 0-89791-131-8. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
LISP, SAIL |
23 | Peter Henderson 0001, James H. Morris Jr. |
A Lazy Evaluator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, USA, January 1976, pp. 95-103, 1976, ACM Press. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
LISP |
23 | Chris J. Cheney |
A Nonrecursive List Compacting Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(11), pp. 677-678, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
compact list, list compacting, garbage collection, LISP |
19 | Guy L. Steele Jr. |
Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 1-2, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
associative operator, conjugate transform, tree, reduction, monoid |
19 | Francisco-Jesús Martín-Mateos, Julio Rubio 0001, José-Luis Ruiz-Reina |
ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 106-121, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Emanuel Kitzelmann |
Analytical Inductive Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 87-102, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Yulia Korukhova |
An approach to automatic deductive synthesis of functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(3-4), pp. 255-271, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification 68T20 |
19 | Robert Strandh, John Hamer, Gilbert Baumann |
Using Stealth Mixins to Achieve Modularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 18th Australian Software Engineering Conference (ASWEC 2007), April 10-13, 2007, Melbourne, Australia, pp. 111-116, 2007, IEEE Computer Society, 0-7695-2778-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Migault, Marcus Brunner |
Description of a Naming Architecture Managing Cryptographic Identifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPOM ![In: IP Operations and Management, 7th IEEE International Workshop, IPOM 2007, San José, USA, October 31 - November 2, 2007, Proceedings, pp. 13-24, 2007, Springer, 978-3-540-75852-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Ryan Culpepper, Matthias Felleisen |
Debugging macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 135-144, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Will Fitzgerald, R. James Firby, Michael Hannemann |
Demonstration of the complex event recognition architecture for multimodal event parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 8th International Conference on Intelligent User Interfaces, IUI 2003, Miami, FL, USA, January 12-15, 2003, pp. 321, 2003, ACM, 1-58113-586-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Tetsuo Kamina, Tetsuo Tamai |
Embedding XML Processing Toolkit on General Purpose Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 4-6 December 2002, Gold Coast, Queensland, Australia, pp. 159-166, 2002, IEEE Computer Society, 0-7695-1850-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Zafer Bingul, Poolsak Koseeyaporn, George E. Cook |
Windows-based robot simulation tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 1037-1041, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Juan J. Flores |
Complex fans: a representation for vectors in polar form with interval attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 25(2), pp. 129-156, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
complex fans, abstract data type, qualitative reasoning, interval computation, complex numbers |
19 | Mehmet Bülent Özcan, Paul William Parry, Ian C. Morrey, Jawed I. A. Siddiqi |
Visualisation of Executable Formal Specifications for User Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Services and Visualization: Towards User-Friendly Design ![In: Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers, pp. 142-157, 1998, Springer, 3-540-64367-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Ján Komara, Paul J. Voda |
Theorems af Péter and Parsons in Computer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 204-223, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Ute Schmid |
Programmieren durch analoges Schließen . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kognitionswissenschaft ![In: Kognitionswissenschaft 6(3), pp. 127-134, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
The Real-Time Graphical Interval Logic Toolset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings, pp. 446-449, 1996, Springer, 3-540-61474-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann |
KEIM: A Toolkit for Automated Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 807-810, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 1752 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|