dr hab. prof. UO Wiesław Szwast

Publikacje


    2019
  1. Lidia Tendera, Wiesław Szwast, Ian Pratt-Hartmann, THE FLUTED FRAGMENT REVISITED, Journal of Symbolic Logic, 84(3) (2019), 1020-1048.
  2. Lidia Tendera, Wiesław Szwast, ON THE SATISFIABILITY PROBLEM FOR FRAGMENTS OF TWO-VARIABLE LOGIC WITH ONE TRANSITIVE RELATION, Journal of Logic and Computation, 29(6) (2019), 881-911.

    3. 2016
  3. Wiesław Szwast, Ian Pratt-Hartmann, Lidia Tendera, QUINE'S FLUTED FRAGMENT IS NON-ELEMENTARY, w: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - Septem (red. Jean-Marc Talbot and Laurent Regnier), 978-3-95977-022-4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016), 39:1--39:21.

    4. 2013
  4. Lidia Tendera, Wiesław Szwast, FO2 WITH ONE TRANSITIVE RELATION IS DECIDABLE, 30th Annual Symposium on Theoretical Aspects of Computer Science, LIPIcs (2013), 317-328.

    5. 2005
  5. Wiesław Szwast, Lidia Tendera, ON THE FINITE SATISFIABILITY PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, Lecture Notes in Artificial Intelligence, 3835 (2005), 307-321.

    6. 2004
  6. Wiesław Szwast, Lidia Tendera, THE GUARDED FRAGMENT WITH TRANSITIVE GUARDS, Annals of Pure and Applied Logic, 128 (2004), 227-276.

    7. 2001
  7. Wiesław Szwast, Lidia Tendera, ON THE DECISION PROBLEM FOR THE GUARDED FRAGMENT WITH TRANSITIVITY, Proc. Annual IEEE Symposium on Logic in Computer Science, LICS, 16 (2001), 147-156.

    8. 2000
  8. Wiesław Szwast, Lidia Tendera, Leszek Pacholski, COMPLEXITY RESULTS FOR FIRST-ORDER TWO-VARIABLE LOGIC WITH COUNTING, SIAM Journal on Computing, Vol. 29, No 4 (2000), 1083-1117.

    9. 1997
  9. Wiesław Szwast, Lidia Tendera, Leszek Pacholski, COMPLEXITY OF TWO-VARIABLE LOGIC WITH COUNTING, Proc. 12-th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos (1997), 318-327.

    10. 1995
  10. Wiesław Szwast, THE CLASS OF EXISTENTIAL SECOND-ORDER BERNAYS-SCHÖNFIKEL SENTENCES AND THE EXPONENTIAL HIERARCHY, Zeszyty Naukowe Uniwersytetu Opolskiego,, Matematyka, 29 (1995), 189-197.
  11. Wiesław Szwast, A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY, International Journal of Foundation of Computer Science, 6 (1995), 339-351.

    12. 1993
  12. Wiesław Szwast, Leszek Pacholski, A COUNTEREXAMPLE TO THE 0-1 LAW FOR THE CLASS OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY, Information and Computation, 107 (1993), 91-103.

    13. 1991
  13. Wiesław Szwast, Leszek Pacholski, ON THE 0-1 LAW FOR THE CLASS OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY, Proc. 6-th Annual IEEE Symposium on Logic in Computer Science, Los Alamitos (1991), 280-285.
  14. Wiesław Szwast, Leszek Pacholski, ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER GÖDEL SENTENCES, Journal of Symbolic Logic, Vol. 56, No 2 (1991), 427-439.
  15. Wiesław Szwast, ON HORN SPECTRA, Theoretical Computer Science, 82 (1991), 329-339.

    16. 1990
  16. Wiesław Szwast, ON THE GENERATOR PROBLEM, Zeitschrift für Mathematische Logic und Grundlagen der Mathematik, 36 (1990), 23-27.

    17. 1989
  17. Wiesław Szwast, Tomasz Weber, Bogusław Stawski, Andrzej Reinhard, AN ATTEMPT TO USE THE ROUGH SET THEORY FOR THE CONTROL OF WATER-AIR RELATION ON A GIVEN POLDER, Bulletin of the Polish Academy of Sciences, Tech. Sci., Vol. 37, No 5-6 (1989), 339-349.
  18. Wiesław Szwast, Leszek Pacholski, THE 0-1 LAW FAILS FOR THE CLASS OF EXISTENTIAL SECOND-ORDER GÖDEL SENTENCES WITH EQUALITY, Proc. 30-th Annual IEEE Symposium on Foundations of Computer Science (1989), 160-163.
  19. Wiesław Szwast, Tomasz Weber, Bogusław Stawski, ON ERROR-CORRECTING CODES AND CLIFFORD ALGEBRAS, Bulletin of the Polish Academy of Sciences, Tech. Sci., Vol. 37, No 1-2 (1989), 75-85.

    20. 1988
  20. Wiesław Szwast, RELATIVIZATIONS OF THE LINSPACE=?EXPTIME QUESTION, Zeszyty Naukowe WSP w Opolu,, Matematyka XXVI (1988), 15-20.

    21. 1987
  21. Wiesław Szwast, HORN SPECTRA AND RELAVIZATIONS, Journal of Symbolic Logic, 52 (1987), 344.

    22. 1985
  22. Wiesław Szwast, ON SOME PROPERTIES OF HORN SPECTRA, Zeszyty Naukowe WSP w Opolu,, Matematyka XXIII (1985), 5-10.
  23. Wiesław Szwast, HORN SPECTRA AND RELATIVIZATIONS, Abstracts, Logic Colloquium 85, Paris (1985), 79.