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