Information and Computation,volume 149,issue 1  (02-2004)

Period of time： 2004年1期

Publisher： Academic Press

Founded in： 1957

Total resources： 79

ISSN： 0890-5401

Subject： O Mathematical Sciences and Chemical

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Information and Computation,volume 149,issue 1

Menu

Set Constraints and Automata

By Gilleron R.,Tison S.,Tommasi M. in (1999)

Information and Computation,volume 149,issue 1 , Vol. 149, Iss. 1, 1999-02 , pp. 1-41

Academic Press

Abstract Access to resources Recommend Favorite

Order-Sorted Inductive Types

By Barthe G. in (1999)

Information and Computation,volume 149,issue 1 , Vol. 149, Iss. 1, 1999-02 , pp. 42-76

Academic Press

Abstract Access to resources Recommend Favorite

Basic Observables for Processes

By Boreale M.,Pugliese R. in (1999)

Information and Computation,volume 149,issue 1 , Vol. 149, Iss. 1, 1999-02 , pp. 77-98

Academic Press

Abstract Access to resources Recommend Favorite

Total 3 item(s)