Connecting you to content on EBSCOhost

Works matching IS 09601295 AND DT 2008 AND VI 18 AND IP 2

Results: 6

1

Types for ambient and process mobility?

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 221, doi. 10.1017/S0960129508006658

By:

MARIO COPPO;
MARIANGIOLA DEZANI-CIANCAGLINI;
ELIO GIOVANNETTI

Publication type:

Article

2

Computability and information in models of randomness and chaos?

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 291, doi. 10.1017/S0960129508006646

By:

CRISTOBAL ROJAS

Publication type:

Article

3

Maurer computers for pipelined instruction processing?

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 373, doi. 10.1017/S0960129507006548

By:

J. A. BERGSTRA;
C. A. MIDDELBURG

Publication type:

Article

4

Observational interpretation of Caslspecifications.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 325

By:

MICHEL BIDOIT;
DONALD SANNELLA;
ANDRZEJ TARLECKI

Publication type:

Article

5

On asymptotic divergency in equivalential logics.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 311, doi. 10.1017/S0960129507006391

By:

ZOFIA KOSTRZYCKA

Publication type:

Article

6

The Decomposition Tree for analyses of Boolean functions.

Published in:

Mathematical Structures in Computer Science, 2008, v. 18, n. 2, p. 411, doi. 10.1017/S096012950800666X

By:

MAIK FRIEDEL;
SWETLANA NIKOLAJEWA;
THOMAS WILHELM

Publication type:

Article