Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /
"This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers c...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1995]
|
| Series: | Lecture notes in computer science ;
1023. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Table of Contents:
- Leapfrogging Samplesort / Eliezer A. Albacea
- Spanning 2-Trees / Leizhen Cai
- Minimal Linear Invariants / Ming-Yang Kao
- Parallel Maximal Matching on Minimal Vertex Series Parallel Digraphs / Luca Baffi and Rossella Petreschi
- Efficient Equality-Testing and Updating of Sets / Tak Wah Lam and Ka Hing Lee
- Binary Space Partitions for Sets of Hyperrectangles / Viet Hai Nguyen and Peter Widmayer
- Transformation of Orthogonal Term Rewriting Systems / Sugwoo Byun, Richard Kennaway and Ronan Sleep
- An Automation-Driven Frame Disposal Algorithm and its Proof of Correctness / M. Satpathy, A. Sanyal and G. Venkatesh
- Labeled [lambda]-Calculus and a Generated Notion of Strictness / M. Gandhe, G. Venkatesh and A. Sanyal
- Preemption Primitives in Reactive Languages / Sophie Pinchinat, Eric Rutten and R. Shyamasundar
- Multi-Action Process Algebra / Wojciech Fraczak.