Publisher: Springer Publishing Company
Founded in: 1988
Total resources: 33
E-ISSN: 2212-0793
ISSN: 1388-3690
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
LISP and Symbolic Computation
Menu
A new generic scheme for functional logic programming with constraints
By López Fraguas Francisco in (2007)
LISP and Symbolic Computation , Vol. 20, Iss. 1-2, 2007-06 , pp.A ρ-calculus of explicit constraint application
LISP and Symbolic Computation , Vol. 20, Iss. 1-2, 2007-06 , pp.By Martí-Oliet Narciso in (2007)
LISP and Symbolic Computation , Vol. 20, Iss. 1-2, 2007-06 , pp.Semantics and pragmatics of Real-Time Maude
LISP and Symbolic Computation , Vol. 20, Iss. 1-2, 2007-06 , pp.By Danvy Olivier,Filinski Andrzej,Giavitto Jean-Louis,King Andy,Moreau Pierre-Etienne,Talcott Carolyn in (2006)
LISP and Symbolic Computation , Vol. 19, Iss. 4, 2006-12 , pp.Call-by-push-value: Decomposing call-by-value and call-by-name
LISP and Symbolic Computation , Vol. 19, Iss. 4, 2006-12 , pp.Deriving escape analysis by abstract interpretation
LISP and Symbolic Computation , Vol. 19, Iss. 4, 2006-12 , pp.Expressing combinatory reduction systems derivations in the rewriting calculus
LISP and Symbolic Computation , Vol. 19, Iss. 4, 2006-12 , pp.