 | 2001 |
|---|
| 9 |       | Robert Fidytek,
Andrzej Wlodzimierz Mostowski,
Rafal Somla,
Andrzej Szepietowski:
Algorithms counting monotone Boolean functions.
Inf. Process. Lett. 79(5): 203-209 (2001) |
| 1991 |
|---|
| 8 |  | Andrzej Wlodzimierz Mostowski:
Hierarchies of Weak Automata and Weak Monadic Formulas.
Theor. Comput. Sci. 83(2): 323-335 (1991) |
| 1990 |
|---|
| 7 | | Andrzej Wlodzimierz Mostowski:
Alternating Automata with Start Formulas.
Inf. Process. Lett. 35(6): 287-290 (1990) |
| 1987 |
|---|
| 6 | | Andrzej Wlodzimierz Mostowski:
Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic.
Elektronische Informationsverarbeitung und Kybernetik 23(10/11): 509-515 (1987) |
| 1982 |
|---|
| 5 | | Andrzej Wlodzimierz Mostowski:
Determinancy of Sinking Automata on Infinite Trees and Inequalities Between Various Rabin's Pair Indices.
Inf. Process. Lett. 15(4): 159-163 (1982) |
| 1981 |
|---|
| 4 | | Andrzej Wlodzimierz Mostowski:
The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics.
FCT 1981: 453-466 |
| 1980 |
|---|
| 3 | | Andrzej Wlodzimierz Mostowski:
Finite automata on infinite trees and subtheories of SkS.
CLAAP 1980: 228-240 |
| 2 | | Andrzej Wlodzimierz Mostowski:
Nearly deterministic automata acceptation of infinite trees and a complexitiy of weak theory of SkS.
CLAAP 1980: 54-62 |
| 1977 |
|---|
| 1 | | Andrzej Wlodzimierz Mostowski:
Operations on omega-Regular Languages.
FCT 1977: 135-141 |
