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
Access to resources
Recommend
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.
Previous
Next