Deciding whether the frontier of a regular tree is scattered

• Autorzy: Bloom S.L. , Esik Z.
• Języki publikacji: EN

Słowa kluczowe

EN

linearly ordered set; scattered regular words; algorithm

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2003
• Tom: Vol. 55, nr 1
• Strony: 1--21
• Opis fizyczny: Bibliogr. 11 poz.

Twórcy

autor

Bloom S.L.

autor

Esik Z.

• Department of Computer Science, Stevens Institute of Technology, Hoboken, NJ 07030, USA

Bibliografia

• [1] L. Borkowski, Formal Logic (in Polish), PWN, Warszawa, 1982.
• [2] A. Grzegorczyk, An Outline of Mathematical Logic (in Polish), PWN, Warszawa, 1981.
• [3] A. Mostowski, Mathematical Logic (in Polish), Monografie Matematyczne, Warszawa-Wrocław, 1948.
• [4] W. van Orman Quine. Philosophy of Logic. Prentice-Hall, Englewood Cliffs, NY , 1973 (Polish transl. PWN, Warszawa, 1977).
• 5] E. D. Sontag. Mathematical Control Theory. Springer Verlag, New York, 1998.
• [6] A. Tarski, Introduction to Logic, Philomat (in Polish, first edition 1936) , Warszawa, 1996.
• [7] T. Terlikowski. Information in Two-stage Control - A General Concept and Classification Attempt. Institute of Geophysics PAS, 1981 (ms. in Polish).
• [8] T. Terlikowski. On definition of two notions related to the safety and risk in formal control theories. Institute of Geophysics PAS, Warszawa, 1990 (ms. in Polish).
• [9] T. Terlikowski. The notion of sequential control structure – a general formal analysis. IMACS International Workshop on Decision Support Systems and Qualitative Reasoning. Touluse, France, 1991.
• [10] T. Terlikowski. A logical approach to control. Some new logical concepts and their application to the notion of safety for control variants. Fundamenta Informaticae, 52(4), 2002, pp.377-394.
• [11] T. Terlikowski. A logical approach to control. The concept of inner implication. Fundamenta Informaticae, 2003, in print.