Properties of Input-Consuming Derivations

Author： Bossi A.   Etalle S.   Rossi S.  

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.30, Iss.1, 2004-01, pp. : 1-23

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Compositionality properties of SLD-derivations

By Comini M.   Meo M.C.  

Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. : 275-309

Elsevier

Access to resources Recommend Favorite

Optimization of Input Patterns and Neuronal Properties to Evoke Motor Neuron Synchronization

By Taylor Anna M.   Enoka Roger M.  

Journal of Computational Neuroscience, Vol. 16, Iss. 2, 2004-03 ,pp. : 139-157

Springer Publishing Company

Access to resources Recommend Favorite

ON THE INCREMENTAL ADAPTATION OF CHR DERIVATIONS

By Wolf Armin   Gruenhagen Thomas   Geske Ulrich  

Applied Artificial Intelligence, Vol. 14, Iss. 4, 2000-04 ,pp. : 389-416

Taylor & Francis Ltd

Access to resources Recommend Favorite

On categorical equivalence of Gentzen-style derivations in IMLL

By Soloviev S.   Orevkov V.  

Theoretical Computer Science, Vol. 303, Iss. 1, 2003-06 ,pp. : 245-260

Elsevier

Access to resources Recommend Favorite

Expressing combinatory reduction systems derivations in the rewriting calculus

By Bertolissi Clara  

LISP and Symbolic Computation, Vol. 19, Iss. 4, 2006-12 ,pp. : 345-376

Springer Publishing Company

Access to resources Recommend Favorite