Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 3 of 253 results
Sort by: relevance publication year
Showing results for ISSN matching 1388-3690

About permutation algebras, (pre)sheaves and named sets

JOURNAL ARTICLE published September 2006 in Higher-Order and Symbolic Computation

Authors: Fabio Gadducci | Marino Miculan | Ugo Montanari

https://doi.org/10.1007/s10990-006-8749-3 Actions

Stories about calculations: remembering Peter Landin

JOURNAL ARTICLE published December 2009 in Higher-Order and Symbolic Computation

Authors: Tony Clark

https://doi.org/10.1007/s10990-010-9058-4 Actions

Editorial

JOURNAL ARTICLE published March 2006 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Oege de Moor | Julian Padget | Peter Thiemann

https://doi.org/10.1007/s10990-006-8607-3 Actions

State-transition machines for lambda-calculus expressions

JOURNAL ARTICLE published 20 November 2007 in Higher-Order and Symbolic Computation

Authors: David A. Schmidt

https://doi.org/10.1007/s10990-007-9012-2 Actions

JOURNAL ARTICLE published 1999 in Higher Order Symbolic Computation

Authors: Olivier Danvy | Carolyn Talcott

https://doi.org/10.1023/a:1010002000861 Actions

JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation

Authors: Robert Milne

https://doi.org/10.1023/a:1010010009897 Actions

JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation

Authors: Bob Paige

https://doi.org/10.1023/a:1023011918666 Actions

Robert Paige (1947–1999)

JOURNAL ARTICLE published June 2005 in Higher-Order and Symbolic Computation

Authors: Harry Mairson

https://doi.org/10.1007/s10990-005-7002-9 Actions

JOURNAL ARTICLE published 2001 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Carolyn Talcott

https://doi.org/10.1023/a:1011513031288 Actions

A programmable editor for developing structured documents based on bidirectional transformations

JOURNAL ARTICLE published June 2008 in Higher-Order and Symbolic Computation

Authors: Zhenjiang Hu | Shin-Cheng Mu | Masato Takeichi

https://doi.org/10.1007/s10990-008-9025-5 Actions

Editorial

JOURNAL ARTICLE published December 2003 in Higher-Order and Symbolic Computation (formerly LISP and Symbolic Computation)

Authors: Olivier Danvy | Peter Thiemann

https://doi.org/10.1023/a:1025815202775 Actions

JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation

Authors: Michael Jackson

https://doi.org/10.1023/a:1010005808988 Actions

JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation

Authors: Catarina Coquand

https://doi.org/10.1023/a:1019964114625 Actions

JOURNAL ARTICLE published 2003 in Higher-Order and Symbolic Computation

Authors: Yanhong A. Liu | Scott D. Stoller

https://doi.org/10.1023/a:1023068020483 Actions

Editorial

JOURNAL ARTICLE published 4 April 2007 in Higher-Order and Symbolic Computation

Authors: Narciso Martí-Oliet | Grigore Roşu | Carolyn Talcott

https://doi.org/10.1007/s10990-007-9005-1 Actions

Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

JOURNAL ARTICLE published June 2005 in Higher-Order and Symbolic Computation

Authors: Alberto Pettorossi | Maurizio Proietti | Sophie Renault

https://doi.org/10.1007/s10990-005-7008-3 Actions

JOURNAL ARTICLE published 2000 in Higher-Order and Symbolic Computation

Authors: Christopher Strachey

https://doi.org/10.1023/a:1010000313106 Actions

Remembrances of Bob Paige

JOURNAL ARTICLE published June 2005 in Higher-Order and Symbolic Computation

Authors: Alan Siegel

https://doi.org/10.1007/s10990-005-7003-8 Actions

JOURNAL ARTICLE published 2002 in Higher-Order and Symbolic Computation

Authors: Olivier Danvy | Carolyn Talcott

https://doi.org/10.1023/a:1022974204050 Actions

On the implementation of automatic differentiation tools

JOURNAL ARTICLE published September 2008 in Higher-Order and Symbolic Computation

Authors: Christian H. Bischof | Paul D. Hovland | Boyana Norris

https://doi.org/10.1007/s10990-008-9034-4 Actions
Feedback: support@crossref.org