Andrzej Wlodzimierz Mostowski

Publication Activity (10 Years)

Years Active: 1977-2001
Publications (10 Years): 0

Publications

Robert Fidytek, Andrzej Wlodzimierz Mostowski, Rafal Somla, Andrzej Szepietowski
Algorithms counting monotone Boolean functions. Inf. Process. Lett. 79 (5) (2001)
Andrzej Wlodzimierz Mostowski
Hierarchies of Weak Automata and Weak Monadic Formulas. Theor. Comput. Sci. 83 (2) (1991)
Andrzej Wlodzimierz Mostowski
Alternating Automata with Start Formulas. Inf. Process. Lett. 35 (6) (1990)
Andrzej Wlodzimierz Mostowski
Hierarchies of Weak Monadic Formulas for Two Successors Arithmetic. J. Inf. Process. Cybern. 23 (10/11) (1987)
Andrzej Wlodzimierz Mostowski
Regular expressions for infinite trees and a standard form of automata. Symposium on Computation Theory (1984)
Andrzej Wlodzimierz Mostowski
Determinancy of Sinking Automata on Infinite Trees and Inequalities Between Various Rabin's Pair Indices. Inf. Process. Lett. 15 (4) (1982)
Andrzej Wlodzimierz Mostowski
The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics. FCT (1981)
Andrzej Wlodzimierz Mostowski
Nearly deterministic automata acceptation of infinite trees and a complexitiy of weak theory of SkS. CLAAP (1980)
Andrzej Wlodzimierz Mostowski
Finite automata on infinite trees and subtheories of SkS. CLAAP (1980)
Andrzej Wlodzimierz Mostowski
Operations on omega-Regular Languages. FCT (1977)