×

zbMATH — the first resource for mathematics

Pacholski, Leszek M.

Compute Distance To:
Author ID: pacholski.leszek-m Recent zbMATH articles by "Pacholski, Leszek M."
Published as: Pacholski, L.; Pacholski, Leszek; Pacholski, Leszek M.
External Links: MGP · Wikidata
Documents Indexed: 38 Publications since 1968, including 7 Books

Publications by Year

Citations contained in zbMATH

19 Publications have been cited 81 times in 72 Documents Cited by Year
Complexity of Makanin’s algorithm. Zbl 0882.68073
Kościelski, Antoni; Pacholski, Leszek
21
1996
Complexity results for first-order two-variable logic with counting. Zbl 0956.03039
Pacholski, Leszek; Szwast, Wiesław; Tendera, Lidia
16
2000
Makanin’s algorithm is not primitive recursive. Zbl 0908.68107
Kościelski, Antoni; Pacholski, Leszek
7
1998
Undecidability of the Horn-clause implication problem. Zbl 0914.03009
Marcinkowski, Jerzy; Pacholski, Leszek
7
1992
Word equations with two variables. Zbl 0925.20082
Charatonik, Witold; Pacholski, Leszek
5
1993
Topologically compact structures and positive formulas. Zbl 0184.01302
Pacholski, L.; Weglorz, B.
4
1968
On countably universal Boolean algebras and compact classes of models. Zbl 0222.02060
Pacholski, L.
3
1973
On countably compact reduced products. III. Zbl 0242.02056
Pacholski, L.
3
1971
Tarskian set constraints are in NEXPTIME. Zbl 0914.03050
Mielniczuk, Pawel; Pacholski, Leszek
2
1998
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality. Zbl 0803.03016
Pacholski, Leszek; Szwast, Wiesław
2
1993
Asymptotic probabilities of existential second-order Gödel sentences. Zbl 0736.03012
Pacholski, Leszek; Szwast, Wiesław
2
1991
Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004
Macintyre, Angus J. (ed.); Pacholski, Leszek (ed.); Paris, Jeff (ed.)
2
1978
Set constraints with projections. Zbl 1327.68127
Charatonik, Witold; Pacholski, Leszek
1
2010
Thue trees. Zbl 1020.03039
Marcinkowski, Jerzy; Pacholski, Leszek
1
2003
Fuzzy logic application in ergonomic renewal of multiagent manufacturing systems. Zbl 1009.68991
Pacholski, Leszek M.
1
1998
Model theory of algebra and arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979. Zbl 0436.00008
Pacholski, L. (ed.); Wierzejewski, J. (ed.); Wilkie, A. J. (ed.)
1
1980
Homogeneity, universality and saturatedness of limit reduced powers. III. Zbl 0354.02042
Pacholski, Leszek
1
1977
On limit reduced powers, saturatedness and universality. Zbl 0346.02028
Pacholski, L.
1
1976
On products of first order theories. Zbl 0199.30302
Pacholski, L.
1
1969
Set constraints with projections. Zbl 1327.68127
Charatonik, Witold; Pacholski, Leszek
1
2010
Thue trees. Zbl 1020.03039
Marcinkowski, Jerzy; Pacholski, Leszek
1
2003
Complexity results for first-order two-variable logic with counting. Zbl 0956.03039
Pacholski, Leszek; Szwast, Wiesław; Tendera, Lidia
16
2000
Makanin’s algorithm is not primitive recursive. Zbl 0908.68107
Kościelski, Antoni; Pacholski, Leszek
7
1998
Tarskian set constraints are in NEXPTIME. Zbl 0914.03050
Mielniczuk, Pawel; Pacholski, Leszek
2
1998
Fuzzy logic application in ergonomic renewal of multiagent manufacturing systems. Zbl 1009.68991
Pacholski, Leszek M.
1
1998
Complexity of Makanin’s algorithm. Zbl 0882.68073
Kościelski, Antoni; Pacholski, Leszek
21
1996
Word equations with two variables. Zbl 0925.20082
Charatonik, Witold; Pacholski, Leszek
5
1993
A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality. Zbl 0803.03016
Pacholski, Leszek; Szwast, Wiesław
2
1993
Undecidability of the Horn-clause implication problem. Zbl 0914.03009
Marcinkowski, Jerzy; Pacholski, Leszek
7
1992
Asymptotic probabilities of existential second-order Gödel sentences. Zbl 0736.03012
Pacholski, Leszek; Szwast, Wiesław
2
1991
Model theory of algebra and arithmetic. Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979. Zbl 0436.00008
Pacholski, L. (ed.); Wierzejewski, J. (ed.); Wilkie, A. J. (ed.)
1
1980
Logic colloquium ’77. Proceedings of the colloquium held in Wroclaw, August 1977. Zbl 0426.00004
Macintyre, Angus J. (ed.); Pacholski, Leszek (ed.); Paris, Jeff (ed.)
2
1978
Homogeneity, universality and saturatedness of limit reduced powers. III. Zbl 0354.02042
Pacholski, Leszek
1
1977
On limit reduced powers, saturatedness and universality. Zbl 0346.02028
Pacholski, L.
1
1976
On countably universal Boolean algebras and compact classes of models. Zbl 0222.02060
Pacholski, L.
3
1973
On countably compact reduced products. III. Zbl 0242.02056
Pacholski, L.
3
1971
On products of first order theories. Zbl 0199.30302
Pacholski, L.
1
1969
Topologically compact structures and positive formulas. Zbl 0184.01302
Pacholski, L.; Weglorz, B.
4
1968
all top 5

Cited by 104 Authors

6 Plandowski, Wojciech
4 Pacholski, Leszek M.
4 Sattler, Ulrike
3 Diekert, Volker
3 Gutiérrez, Claudio
3 Jeż, Artur
3 Taylor, Walter
2 Gurevich, Yuri
2 Horrocks, Ian
2 Le Bars, Jean-Marie
2 Marcinkowski, Jerzy
2 Motik, Boris
2 Omarov, A. I.
2 Pratt-Hartmann, Ian
2 Schmidt-Schauß, Manfred
2 Schulz, Klaus U.
2 Simmons, Harold
2 Tendera, Lidia
2 Voronkov, Andrei
1 Aizikowitz, Tamar
1 Bednarczyk, Bartosz
1 Bormotov, Dimitri
1 Chang, Liang
1 Charatonik, Witold
1 Ciobanu, Laura
1 Cropper, Andrew
1 Dabrowski, Robert
1 Day, Joel D.
1 Ferrante, Alessandro
1 Flum, Jörg
1 Francez, Nissim
1 Genkin, Daniel
1 Gilman, Robert H.
1 Glimm, Birte
1 Gogacz, Tomasz
1 Gottlob, Georg
1 Grädel, Erich
1 Gu, Tianlong
1 Gu, Yilan
1 Hagenah, Christian
1 Hampson, Christopher
1 Hanschke, Philipp
1 Hoche, Michael
1 Hustadt, Ullrich
1 Ilie, Lucian
1 Jakubowicz, C. A.
1 Kaminsky, Michael
1 Karhumaki, Juhani
1 Kazakov, Yevgeny
1 Kenkireth, Benny George
1 Kisielewicz, Andrzej Piotr
1 Kontinen, Juha
1 Kopczyński, Eryk
1 Kościelski, Antoni
1 Kurucz, Agi
1 Kutsia, Temur
1 Kuusisto, Antti
1 Levy, Jordi
1 Lohmann, Peter
1 Lutz, Carsten
1 Lynch, James F.
1 Macintyre, Angus John
1 Maksimenko, Marianne
1 Manea, Florin
1 Marker, David E.
1 Mignosi, Filippo
1 Mugnier, Marie-Laure
1 Muscholl, Anca
1 Myasnikov, Alexei G.
1 Napoli, Margherita
1 Narendran, Paliath
1 Niehren, Joachim
1 Nowotka, Dirk
1 Okhotin, Alexander
1 Otto, Friedrich
1 Otto, Martin
1 Papadimitriou, Christos Harilaos
1 Parente, Mimmo
1 Pinkal, Manfred
1 Podelski, Andreas
1 Ram, Samrith
1 Ruhrberg, Peter
1 Salzer, Gernot
1 Schubert, Aleksy
1 Sexton, R. A.
1 Shelah, Saharon
1 Shi, Zhongzhi
1 Siekmann, Jörg H.
1 Simonet, Geneviève
1 Sofronie-Stokkermans, Viorica
1 Soutchanski, Mikhail
1 Szabó, Péter Gábor
1 Szczerbicki, Edward
1 Szwast, Wiesław
1 Tan, Tony
1 Thomazo, Michaël
1 Tomasik, Jerzy
1 Tourret, Sophie
1 Villaret, Mateu
1 Virtema, Jonni
...and 4 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.