Publisher： Elsevier
Founded in： 1984
Total resources： 4
E-ISSN： 1873-5940
ISSN： 1567-8326
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.
Journal of Logic and Algebraic Programming
Menu
Analysis of a distributed system for lifting trucks
By Groote J.F., Pang J., Wouters A.G. in (2003)
Journal of Logic and Algebraic Programming , Vol. 55, Iss. 1, 2003-03 , pp.
Access to resources
Recommend
An alternative formulation of operational conservativity with binding terms
Journal of Logic and Algebraic Programming , Vol. 55, Iss. 1, 2003-03 , pp.Algebraic theory of probabilistic and nondeterministic processes
By Cazorla D., Cuartero F., Valero V., Pelayo F.L., Pardo J.J. in (2003)
Journal of Logic and Algebraic Programming , Vol. 55, Iss. 1, 2003-03 , pp.Revisiting the notion of function
By Kamareddine F., Laan T., Nederpelt R. in (2003)
Journal of Logic and Algebraic Programming , Vol. 54, Iss. 1, 2003-01 , pp.Typed generic traversal with term rewriting strategies
Journal of Logic and Algebraic Programming , Vol. 54, Iss. 1, 2003-01 , pp.Revisiting timing in process algebra
Journal of Logic and Algebraic Programming , Vol. 54, Iss. 1, 2003-01 , pp.
Previous
Next