Period of time: 2007年1-2期
Publisher: Springer Publishing Company
Founded in: 1988
Total resources: 33
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,volume 18,issue 1-2
Menu
Transformational Derivation of an Improved Alias Analysis Algorithm
LISP and Symbolic Computation,volume 18,issue 1-2 , Vol. 18, Iss. 1-2, 2005-06 , pp.Least Reflexive Points of Relations
LISP and Symbolic Computation,volume 18,issue 1-2 , Vol. 18, Iss. 1-2, 2005-06 , pp.Relativizations for the Logic-Automata Connection
LISP and Symbolic Computation,volume 18,issue 1-2 , Vol. 18, Iss. 1-2, 2005-06 , pp.Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
By Pettorossi Alberto in (2005)
LISP and Symbolic Computation,volume 18,issue 1-2 , Vol. 18, Iss. 1-2, 2005-06 , pp.