Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540653882, 9783540493662

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tried Linear Hashing

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_8 ◽

1998 ◽

pp. 86-94

Author(s):

C. H. Ang ◽

S. T. Tan ◽

T. C. Tan

Keyword(s):

Download Full-text

Semantics and Logic for Provable Fault-Tolerance, A Tutorial

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_6 ◽

1998 ◽

pp. 79-83

Author(s):

Tomasz Janowski

Keyword(s):

Fault Tolerance

Download Full-text

Cut Elimination for Classical Proofs as Continuation Passing Style Computation

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_5 ◽

1998 ◽

pp. 61-78 ◽

Author(s):

Ichiro Ogata

Keyword(s):

Cut Elimination

Download Full-text

A Polymorphic Language Which Is Typable and Poly-step

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_4 ◽

1998 ◽

pp. 43-60 ◽

Author(s):

Luca Roversi

Download Full-text

Type Inference for First-Class Messages with Feature Constraints

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_14 ◽

1998 ◽

pp. 169-187 ◽

Author(s):

Martin Müller ◽

Susumu Nishimura

Keyword(s):

Type Inference ◽

Feature Constraints

Download Full-text

Bisimulation Lattice of Chi Processes

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_19 ◽

1998 ◽

pp. 245-262 ◽

Author(s):

Yuxi Fu

Download Full-text

Testing Proofs by Examples

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_1 ◽

1998 ◽

pp. 1-3

Author(s):

Susumu Hayashi ◽

Ryosuke Sumitomo

Download Full-text

Guaranteed Mutually Consistent Checkpointing in Distributed Computations

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_13 ◽

1998 ◽

pp. 157-168

Author(s):

Zhonghua Yang ◽

Chengzheng Sun ◽

Abdul Sattar ◽

Yanyan Yang

Keyword(s):

Distributed Computations

Download Full-text

Formal Methods: Past, Present, and Future

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_17 ◽

1998 ◽

pp. 224-224

Author(s):

Jeannette M. Wing

Keyword(s):

Download Full-text

The Rewriting Calculus as a Semantics of ELAN

Advances in Computing Science ASIAN 98 - Lecture Notes in Computer Science ◽

10.1007/3-540-49366-2_7 ◽

1998 ◽

pp. 84-85 ◽

Author(s):

Horatiu Cirstea ◽

Claude Kirchner

Download Full-text