↓ Skip to main content

Advances in Computing Science ASIAN 98

Overview of attention for book
Cover of 'Advances in Computing Science ASIAN 98'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Testing Proofs by Examples
  3. Altmetric Badge
    Chapter 2 Rigid Reachability
  4. Altmetric Badge
    Chapter 3 Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover
  5. Altmetric Badge
    Chapter 4 A Polymorphic Language Which Is Typable and Poly-step
  6. Altmetric Badge
    Chapter 5 Cut Elimination for Classical Proofs as Continuation Passing Style Computation
  7. Altmetric Badge
    Chapter 6 Semantics and Logic for Provable Fault-Tolerance, A Tutorial
  8. Altmetric Badge
    Chapter 7 The Rewriting Calculus as a Semantics of ELAN
  9. Altmetric Badge
    Chapter 8 Tried Linear Hashing
  10. Altmetric Badge
    Chapter 9 A New Factoring Algorithm for Magic Predicates
  11. Altmetric Badge
    Chapter 10 An Optimal Parallel Algorithm for the Perfect Dominating Set Problem on Distance-Hereditary Graphs
  12. Altmetric Badge
    Chapter 11 Taxonomy and Expressiveness of Preemption: A Syntactic Approach
  13. Altmetric Badge
    Chapter 12 Exploring Regional Locality in Distributed Shared Memory
  14. Altmetric Badge
    Chapter 13 Guaranteed Mutually Consistent Checkpointing in Distributed Computations
  15. Altmetric Badge
    Chapter 14 Type Inference for First-Class Messages with Feature Constraints
  16. Altmetric Badge
    Chapter 15 Two Flavors of Offine Partial Evaluation
  17. Altmetric Badge
    Chapter 16 First-Class Contexts in ML
  18. Altmetric Badge
    Chapter 17 Formal Methods: Past, Present, and Future
  19. Altmetric Badge
    Chapter 18 A Comparison of Petri Net Semantics under the Collective Token Philosophy
  20. Altmetric Badge
    Chapter 19 Bisimulation Lattice of Chi Processes
  21. Altmetric Badge
    Chapter 20 Eventuality in LOTOS with a Disjunction Operator
  22. Altmetric Badge
    Chapter 21 Towards a Characterisation of Finite-State Message-Passing Systems
  23. Altmetric Badge
    Chapter 22 Mobile Computation: Calculus and Languages (A Tutorial)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter

Readers on

mendeley
1 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Advances in Computing Science ASIAN 98
Published by
Springer Berlin Heidelberg, May 2003
DOI 10.1007/3-540-49366-2
ISBNs
978-3-54-065388-2, 978-3-54-049366-2
Editors

Hsiang, Jieh, Ohori, Atsushi

Twitter Demographics

The data shown below were collected from the profile of 1 tweeter who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%