Jerzy Skurczynski
My coordinates:
address:
University of Gdansk
Institute of Informatics
Wita Stwosza 57
80-952 Gdansk
Poland
e-mail:
matjs@julia.ug.edu.pl
phone:
(+48)(58)5529483
My scientific interests:
- Automata on infinite objects
- Formal languages
- Temporal logic
My papers:
- A.W. Mostowski, J. Skurczynski, K. Wagner, Deterministic automata
on infinite trees and the Borel hierarchy, Proc. of 4th Hungarian
Computer Science Conference (1985) 103 - 115.
- J. Skurczynski, The Borel hierarchy is infinite in the class of
regular sets of trees (preliminary version), Proc. of FCT'89 conf.,
Lecture Notes in Computer Science 380 (1989) 416 - 423.
- J. Skurczynski, On Three Hierarchies of Weak SkS Formulas,
Aachener Informatik-Berichte 90-3 (1990) Tech. Univ. of Aachen
(Germany) 14 pp.
- J. Skurczynski, The Borel hierarchy is infinite in the class of
regular sets of trees, Theoretical Computer Science 112 (1993)
413 - 418.
- A.W. Mostowski, P. Paczkowski, K. Rejniak, J. Skurczynski,
Teaching programming primitives and advanced problems in Pascal
parallelly with calculus elements, Proc. of Computer Based
Learning in Science conf. (1995) 309 - 314.
- J. Skurczynski, A negative result for
chain logic (unpublished)
- J. Skurczynski, A characterization of
Buchi tree automata, Information Processing Letters 81 (2002)
29 - 33.
Links: