Infinity problems and countability problems for ω-automata (English)
- New search for: Tao, Yunfeng
- New search for: Tao, Yunfeng
In:
Information processing letters
;
100
, 4
; 151-153
;
2006
-
ISSN:
- Article (Journal) / Print
-
Title:Infinity problems and countability problems for ω-automata
-
Contributors:Tao, Yunfeng ( author )
-
Published in:Information processing letters ; 100, 4 ; 151-153
-
Publisher:
- New search for: Elsevier
-
Place of publication:Amsterdam [u.a.]
-
Publication date:2006
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 535/3150
- New search for: 54.00 / 54.00
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 100, Issue 4
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 131
-
Efficient lower and upper bounds of the diagonal-flip distance between triangulationsBaril, Jean-Luc / Pallo, Jean-Marcel et al. | 2006
- 137
-
An -time algorithm for the maximum constrained agreement subtree problem for binary treesPeng, Z.S. / Ting, H.F. et al. | 2006
- 137
-
An -time algorithm for the maximum constrained agreement subtree problem for binary treesPeng, Z.S. et al. | 2006
- 137
-
An Formula Not Shown -time algorithm for the maximum constrained agreement subtree problem for binary treesPeng, Z. S. / Ting, H. F. et al. | 2006
- 145
-
Remarks on BioHash and its mathematical foundationTeoh, Andrew / Jin, Beng / Connie, Tee / Ngo, David / Ling, Chek et al. | 2006
- 151
-
Infinity problems and countability problems for ω-automataTao, Yunfeng et al. | 2006
- 154
-
An approximation algorithm for the load-balanced semi-matching problem in weighted bipartite graphsLow, Chor Ping et al. | 2006
- 162
-
An efficient approximation for the Generalized Assignment ProblemCohen, Reuven / Katzir, Liran / Raz, Danny et al. | 2006
- 167
-
A polynomial time algorithm for the minimum quartet inconsistency problem with quartet errorsWu, Gang et al. | 2006
- 167
-
A polynomial time algorithm for the minimum quartet inconsistency problem with quartet errorsWu, Gang / You, Jia-Huai / Lin, Guohui et al. | 2006
- 167
-
A polynomial time algorithm for the minimum quartet inconsistency problem with Formula Not Shown quartet errorsWu, G. / You, J. H. / Lin, G. et al. | 2006
- CO2
-
Editorial Board| 2006