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
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
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
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
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