Concepedia

Wiesław Szwast

WS

8

Publications

321

Citations

8

H-Index

1989

Active since

Affiliations

University of Opole(Current)

Institute of Mathematics

University of Manchester

Institute of Computer Science

Wiesław Szwast is an author at University of Opole specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSatisfiabilityProof ComplexityComputational ComplexityFormal VerificationClassicsSyntax

Publications per year

1989–2019

8

Publications

8

Complexity of two-variable logic with counting

Leszek Pacholski, Wiesław Szwast, Lidia Tendera · 2002 · 91 citations

Circuit Complexity, Engineering, Abstract Complexity +15

The guarded fragment with transitive guards

Wiesław Szwast, Lidia Tendera · Annals of Pure and Applied Logic · 2004 · 52 citations

Engineering, Security Management, Information Security +7

FO^2 with one transitive relation is decidable

Wiesław Szwast, Lidia Tendera · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 48 citations · Full text

Equivalence Relation, Engineering, Substructural Logic +14

THE FLUTED FRAGMENT REVISITED

Ian Pratt‐Hartmann, Wiesław Szwast, Lidia Tendera · Journal of Symbolic Logic · 2019 · 35 citations · Full text

Engineering, Fluted Fragment, Automated Reasoning +13

On the decision problem for the guarded fragment with transitivity

Wiesław Szwast, Lidia Tendera · 2002 · 29 citations

Mathematical Programming, Computational Complexity Theory, Engineering +18

Rows per page

1–5 of 8