TMFCS 2008:
Orlando,
FL,
USA
Zoran Majkic, Michael Sipser, R. Radha, Daming Wei (Eds.):
International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008.
ISRST 2008, ISBN 978-1-60651-006-3
- Walid E. Gomaa:
The Complexity of Identifying Finite Abelian Groups.
1-8
- Xiuyuan Yu, Zhonghua Shen, Hui Chen:
The rational approximations of a class of continued fractions.
9-13
- Zoran Majkic:
Coalgebraic Specification of Query Computation in Intensional P2P Database Systems.
14-23
- Zoran Majkic:
Abstract Database Category Based on Relational-query Observations.
24-32
- Haruhiko Sato, Masahito Kurihara:
Design and Implementation of Multi-Completion Procedures with Termination Checking.
33-40
- Michael Hartwig, Somnuk Phon-Amnuaisuk:
Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability.
41-48
- Hsun-Wen Chang, Meng-Chu Kuo:
Chromatic Numbers of Kneser-Related Graphs.
49-53
- Debra J. Knisley, Jeff Knisley, Duran Williams:
Network Properties of (t, r)-regular graphs for small t.
54-58
- António Malheiro:
On Finite Semigroup Cross-Sections and Complete Rewriting Systems.
59-63
- Frank J. Balbach:
On the Universality of Normalized Metrics.
64-71
- L. Jeganathan, Kamala Krithivasan, Raghavan Rama:
Graph Splicing Systems.
72-79
- Masaki Murakami:
A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication.
80-87
- D. Bhattacharjee, Bhanu Prasad:
On Some New Arithmetical Convolutions-1.
88-94
- Li-Quan Zhao, Ling Zhang:
Model of Granular Computing.
95-101
- Joana Martinho, António Ravara:
Encoding cryptographic primitives in a calculus with polyadic synchronization.
102-109
- Roman Bazylevych, Bhanu Prasad, Roman Kutelmakh, Lubov Bazylevych:
Decomposition and Scanning Optimization Algorithms for TSP.
110-116
Copyright © Sun Nov 15 05:15:23 2009
by Michael Ley (ley@uni-trier.de)