Works matching IS 01290541 AND DT 2000 AND VI 11 AND IP 1

Results: 9

Special Issue on Advances in Computing Science ASIAN '98.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 1, doi. 10.1142/S0129054100000028

By:

Hsiang, Jieh;
Ohori, Atsushi

Publication type:

Article

Rigid Reachability, the Non-Symmetric Form of Rigid E-Unification.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 3, doi. 10.1142/S012905410000003X

By:

Ganzinger, Harald;
Jacquemard, Florent;
Veanes, Margus;
Olariu, S.

Publication type:

Article

Computing with Membranes (P Systems): A Variant.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 167, doi. 10.1142/S0129054100000090

By:

Păun, Gheorghe;
Li, M.

Publication type:

Article

Type Inference for First-Class Messages with Feature Constraints.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 29, doi. 10.1142/S0129054100000041

By:

Müller, Martin;
Nishimura, Susumu;
Olariu, S.

Publication type:

Article

Guidelines for Data-Parallel Cycle-Stealing in Networks of Workstations II: On Maximizing Guaranteed Output.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 183, doi. 10.1142/S0129054100000107

By:

Rosenberg, Arnold L.;
Atallah, M.

Publication type:

Article

First-Class Contexts in ML.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 65, doi. 10.1142/S0129054100000053

By:

Hashimoto, Masatomo;
Olariu, S.

Publication type:

Article

Constructive Classical Logic as CPS-Calculus.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 89, doi. 10.1142/S0129054100000065

By:

Ogata, Ichiro;
Olariu, S.

Publication type:

Article

Light Affine Logic as a Programming Language: A First Contribution.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 113, doi. 10.1142/S0129054100000077

By:

Roversi, Luca;
Olariu, S.

Publication type:

Article

Guaranteed Mutually Consistent Checkpointing in Distributed Computations.

Published in:

International Journal of Foundations of Computer Science, 2000, v. 11, n. 1, p. 153, doi. 10.1142/S0129054100000089

By:

Yang, Zhonghua;
Sun, Chengzheng;
Miao, Yuan;
Sattar, Abdul;
Yang, Yanyan;
Olariu, S.

Publication type:

Article