Search the dblp DataBase
Wieslaw Szwast :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Leszek Pacholski , Wieslaw Szwast The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality [Citation Graph (1, 0)][DBLP ] FOCS, 1989, pp:160-163 [Conf ] Leszek Pacholski , Wieslaw Szwast On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality [Citation Graph (0, 0)][DBLP ] LICS, 1991, pp:280-285 [Conf ] Leszek Pacholski , Wieslaw Szwast , Lidia Tendera Complexity of Two-Variable Logic with Counting. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:318-327 [Conf ] Wieslaw Szwast , Lidia Tendera On the Decision Problem for the Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP ] LICS, 2001, pp:147-156 [Conf ] Wieslaw Szwast , Lidia Tendera On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:307-321 [Conf ] Wieslaw Szwast , Lidia Tendera The guarded fragment with transitive guards. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:128, n:1-3, pp:227-276 [Journal ] Leszek Pacholski , Wieslaw Szwast A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1993, v:107, n:1, pp:91-103 [Journal ] Wieslaw Szwast A Note on the Asymptotic Probabilities of Existential Second-Order Minimal Gödel Sentences with Equality. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1995, v:6, n:4, pp:339-351 [Journal ] Leszek Pacholski , Wieslaw Szwast Asymptotic Probabilities of Existential Second-Order Gödel Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1991, v:56, n:2, pp:427-438 [Journal ] Leszek Pacholski , Wieslaw Szwast , Lidia Tendera Complexity Results for First-Order Two-Variable Logic with Counting. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 2000, v:29, n:4, pp:1083-1117 [Journal ] Wieslaw Szwast On Horn Spectra. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:82, n:2, pp:329-339 [Journal ] Search in 0.001secs, Finished in 0.002secs