The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wieslaw Szwast: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
    Complexity of Two-Variable Logic with Counting. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:318-327 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002