The Transitive mu-Calculus is Buchi Definable (English)
- New search for: Lenzi, G.
- New search for: Lenzi, G.
In:
WSEAS TRANSACTIONS ON MATHEMATICS
;
5
, 9
;
1021-1026
;
2006
-
ISSN:
- Article (Journal) / Print
-
Title:The Transitive mu-Calculus is Buchi Definable
-
Contributors:Lenzi, G. ( author )
-
Published in:WSEAS TRANSACTIONS ON MATHEMATICS ; 5, 9 ; 1021-1026
-
Publisher:
- New search for: WSEAS Press
-
Publication date:2006-01-01
-
Size:6 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 510
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 510 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 5, Issue 9
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.
- 1009
-
Method of Numerical Simulation of Stable Structures of Fluid Membranes and VesiclesUgail, H. / Jamil, R. N. / Satnoianu, R. et al. | 2006
- 1015
-
What is a Maximal Error-Detecting Capability of a Formal Language?Konstantinidis, S. et al. | 2006
- 1021
-
The Transitive mu-Calculus is Buchi DefinableLenzi, G. et al. | 2006
- 1027
-
An Algorithm for a Real Vehicle Routing Problem with Time ConstraintsZmazek, B. et al. | 2006
- 1035
-
A Nondeterministic Programming TheoremTchier, F. et al. | 2006
- 1045
-
Effect of Time Delay in a Physiological Process Containing Both a Positive and Negative Feedback ResponseKumnungkit, K. / Tang, I. M. / Bunyaratavej, A. et al. | 2006
- 1053
-
Applying Neural Fuzzy Method to an Urban Development Criterion for LandfillLin, S.-Y. / Chen, J.-Z. et al. | 2006
- 1060
-
Region of Interest Detection Using Jensen-Shannon Divergence for Fluorescence Image of Skin lesionAtae-Allah, C. / Atae-Allah, A. / Rojas, I. / Valenzuela, O. / Lopera, J. F. G. et al. | 2006
- 1068
-
New Constructing of Regular Hadamard MatricesXia, T. / Seberry, J. / Xia, M. et al. | 2006
- 1074
-
A Numerical Solution to the Nonlinear Fredholm Integral Equation Using Legendre Wavelet FunctionsRahbar, S. / Mastorakis, N. E. et al. | 2006
- 1078
-
Application of Water Quality Modeling on River Basin ManagementChao, A. C. / Chen, S. W. / Chen, T. Y. / Kao, C. M. / Lai, Y. C. / Lin, C. E. et al. | 2006
- 1083
-
Simplified Hodgkin-Huxley Differential Equations of Neuronal Activity and Dialog System for its Computer ModelingGrebennikov, A. / Alexandrov, V. / Leyva, J. F. / Torrez, L. A. R. et al. | 2006
- 1089
-
An Abstract Boundary Problem for a Helmholtz EquationMastorakis, N. / Martin, O. et al. | 2006