#
Jerzy Skurczynski

### My coordinates:

**address:**
University of Gdansk
Institute of Informatics
Wita Stwosza 57
80-952 Gdansk
Poland
**e-mail:**
matjs@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: