Wiesław Szwast

Available identifiers

Publication	Date of Publication	Type
On the satisfiability problem for fragments of two-variable logic with one transitive relation	2020-01-29	Paper
THE FLUTED FRAGMENT REVISITED	2019-09-17	Paper
Quine's Fluted Fragment is Non-Elementary	2017-07-19	Paper
https://portal.mardi4nfdi.de/entity/Q2957894	2017-01-30	Paper
On the Finite Satisfiability Problem for the Guarded Fragment with Transitivity	2008-05-27	Paper
The guarded fragment with transitive guards	2004-08-16	Paper
Complexity Results for First-Order Two-Variable Logic with Counting	2000-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4339481	1997-09-15	Paper
A NOTE ON THE ASYMPTOTIC PROBABILITIES OF EXISTENTIAL SECOND-ORDER MINIMAL GÖDEL SENTENCES WITH EQUALITY	1996-06-19	Paper
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality	1994-03-24	Paper
Asymptotic probabilities of existential second-order Gödel sentences	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4710611	1992-06-25	Paper
On Horn spectra	1991-01-01	Paper
On the generator problem	1990-01-01	Paper
An attempt to use the rough sets theory for the control of water-air relation on a given polder	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691648	1985-01-01	Paper

This page was built for person: Wiesław Szwast