Author： Abe Jair Minoro
Publisher： Inderscience Publishers
ISSN： 1755-0556
Source： International Journal of Reasoning-based Intelligent Systems, Vol.5, Iss.2, 2013-10, pp. : 127-132
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Process algebra with propositional signals
By Baeten J.C.M. Bergstra J.A.
Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. :
Access to resources
Recommend
Associative algebras and computer algebra
By Makhlouf A.
Theoretical Computer Science, Vol. 187, Iss. 1, 1997-11 ,pp. :
On compact representations of propositional circumscription
By Cadoli M. Donini F.M. Schaerf M. Silvestri R.
Theoretical Computer Science, Vol. 182, Iss. 1, 1997-08 ,pp. :
A Variadic Extension of Curry's Fixed-Point Combinator
LISP and Symbolic Computation, Vol. 18, Iss. 3-4, 2005-12 ,pp. :
New Curry-Howard terms for full linear logic
By Albrecht D. Crossley J.N. Jeavons J.S.
Theoretical Computer Science, Vol. 185, Iss. 2, 1997-10 ,pp. :