Journal of Logic and Algebraic Programming,volume 51,issue 2  (06-2003)

Period of time： 2003年2期

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 51,issue 2

Menu

Guest editor's introduction

By Middelburg C.A. in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 123-124

Elsevier

Abstract Access to resources Recommend Favorite

Program algebra for sequential code

By Bergstra J.A., Loots M.E. in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 125-156

Elsevier

Abstract Access to resources Recommend Favorite

Program algebra with unit instruction operators

By Ponse A. in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 157-174

Elsevier

Abstract Access to resources Recommend Favorite

Combining programs and state machines

By Bergstra J.A., Ponse A. in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 175-192

Elsevier

Abstract Access to resources Recommend Favorite

Molecular dynamics

By Bergstra J.A., Bethke I. in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 193-214

Elsevier

Abstract Access to resources Recommend Favorite

Author index - Volume 51

By in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 215-215

Elsevier

Abstract Access to resources Recommend Favorite

Subject index - Volume 51

By in (2002)

Journal of Logic and Algebraic Programming,volume 51,issue 2 , Vol. 51, Iss. 2, 2002-06 , pp. 217-217

Elsevier

Abstract Access to resources Recommend Favorite

Total 7 item(s)