Journal of Logic and Algebraic Programming,volume 54,issue 1  (01-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 54,issue 1

Menu

Typed generic traversal with term rewriting strategies

By Lammel R. in (2003)

Journal of Logic and Algebraic Programming,volume 54,issue 1 , Vol. 54, Iss. 1, 2003-01 , pp. 1-64

Elsevier

Abstract Access to resources Recommend Favorite

Revisiting the notion of function

By Kamareddine F., Laan T., Nederpelt R. in (2003)

Journal of Logic and Algebraic Programming,volume 54,issue 1 , Vol. 54, Iss. 1, 2003-01 , pp. 65-107

Elsevier

Abstract Access to resources Recommend Favorite

Revisiting timing in process algebra

By Middelburg C.A. in (2003)

Journal of Logic and Algebraic Programming,volume 54,issue 1 , Vol. 54, Iss. 1, 2003-01 , pp. 109-127

Elsevier

Abstract Access to resources Recommend Favorite

Author index

By in (2003)

Journal of Logic and Algebraic Programming,volume 54,issue 1 , Vol. 54, Iss. 1, 2003-01 , pp. 129-129

Elsevier

Abstract Access to resources Recommend Favorite

Subject index

By in (2003)

Journal of Logic and Algebraic Programming,volume 54,issue 1 , Vol. 54, Iss. 1, 2003-01 , pp. 131-131

Elsevier

Abstract Access to resources Recommend Favorite

Total 5 item(s)