Journal of Logic and Algebraic Programming,volume 55,issue 1  (03-2003)

Period of time： 2003年1期

Publisher： Elsevier

Founded in： 1984

Total resources： 4

ISSN： 1567-8326

Subject： TP Automation Technology , Computer Technology

Favorite

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,volume 55,issue 1

Menu

An alternative formulation of operational conservativity with binding terms

By Middelburg C.A. in (2003)

Journal of Logic and Algebraic Programming,volume 55,issue 1 , Vol. 55, Iss. 1, 2003-03 , pp. 1-19

Elsevier

Abstract Access to resources Recommend Favorite

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,volume 55,issue 1 , Vol. 55, Iss. 1, 2003-03 , pp. 21-56

Elsevier

Abstract Access to resources Recommend Favorite

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,volume 55,issue 1 , Vol. 55, Iss. 1, 2003-03 , pp. 57-103

Elsevier

Abstract Access to resources Recommend Favorite

Author Index - Volume 55

By in (2003)

Journal of Logic and Algebraic Programming,volume 55,issue 1 , Vol. 55, Iss. 1, 2003-03 , pp. 105-105

Elsevier

Abstract Access to resources Recommend Favorite

Subject Index - Volume 55

By in (2003)

Journal of Logic and Algebraic Programming,volume 55,issue 1 , Vol. 55, Iss. 1, 2003-03 , pp. 107-107

Elsevier

Abstract Access to resources Recommend Favorite

Total 5 item(s)