dblp.uni-trier.dewww.uni-trier.de

Andrzej Wlodzimierz Mostowski Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2001
9EERobert 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

Coauthor Index

1Robert Fidytek [9]
2Rafal Somla [9]
3Andrzej Szepietowski [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)