Leszek Pacholski

35 papers A* 7A 1B 4Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2021 — conf
Correlations Linking Macroergonomic Premises with Key Features of Intelligent Buildings.
AHFE (16)
Leszek Pacholski
2019 — conf
The Conditioning of Macroergonomic Design and Improvement of the Intelligent Building's Use and Service.
AHFE (19)
Joanna Kalkowska, Leszek Pacholski
2019 — conf
The Macroergonomic Improvement of Total Quality Management Industrial Systems.
AHFE (19)
Milena Drzewiecka-Dahlke, Leszek Pacholski
2017 — conf
Implementation of TPM Methodology in Worker Fatigue Management - A Macroergonomic Approach.
AHFE (21)
Marcin Butlewski, Grzegorz Dahlke, Milena Drzewiecka-Dahlke, Adam Górny, Leszek Pacholski
2017 — conf
Methodology of Maturity Level Rating for Macro Ergonomic System in Area of Sustainable Development.
AHFE (21)
Leszek Pacholski, Marek Szczuka
2010 J jnl
Set constraints with projections.
J. ACM
Witold Charatonik, Leszek Pacholski
2006 J jnl
Ergonomic issues of the neural integrated human-computer interaction.
Cybern. Syst.
Leszek Pacholski
2003 J jnl
Thue trees.
Ann. Pure Appl. Log.
Jerzy Marcinkowski, Leszek Pacholski
2001 B ed.
SOFSEM 2001: Theory and Practice of Informatics, 28th Conference on Current Trends in Theory and Practice of Informatics Piestany, Slovak Republic, November 24 - December 1, 2001, Proceedings
SOFSEM
Leszek Pacholski, Peter Ruzicka
2000 J jnl
Complexity Results for First-Order Two-Variable Logic with Counting.
SIAM J. Comput.
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
2000 — conf
Tutoriel II: Is it difficult to solve equations in the algebra of words.
JFPLC
Leszek Pacholski
1999 B ed.
Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings
MFCS
Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki
1999 J jnl
The STO problem is NP-complete.
J. Symb. Comput.
Piotr Krysta, Leszek Pacholski
1998 J jnl
Makanin's Algorithm is not Primitive Recursive.
Theor. Comput. Sci.
Antoni Koscielski, Leszek Pacholski
1998 B conf
Tarskian Set Constraints Are in NEXPTIME.
MFCS
Pawel Mielniczuk, Leszek Pacholski
1997 A* conf
Complexity of Two-Variable Logic with Counting.
LICS
Leszek Pacholski, Wieslaw Szwast, Lidia Tendera
1997 J jnl
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.
Ann. Pure Appl. Log.
Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
1997 A conf
Set Constraints: A Pearl in Research on Constraints.
CP
Leszek Pacholski, Andreas Podelski
1996 J jnl
Complexity of Makanin's Algorithm.
J. ACM
Antoni Koscielski, Leszek Pacholski
1995 B ed.
Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers
CSL
Leszek Pacholski, Jerzy Tiuryn
1994 A* conf
Negative Set Constraints with Equality
LICS
Witold Charatonik, Leszek Pacholski
1994 A* conf
Set constraints with projections are in NEXPTIME
FOCS
Witold Charatonik, Leszek Pacholski
1993 J jnl
A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality
Inf. Comput.
Leszek Pacholski, Wieslaw Szwast
1993 — conf
Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems.
HCI (1)
Leszek Pacholski, Malgorzata Wejman
1993 — conf
Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic.
Kurt Gödel Colloquium
Leszek Pacholski
1992 — conf
Decidability of finiteness properties (Abstract).
CTRS
Leszek Pacholski
1992 A* conf
Undecidability of the Horn-Clause Implication Problem
FOCS
Jerzy Marcinkowski, Leszek Pacholski
1991 J jnl
Asymptotic Probabilities of Existential Second-Order Gödel Structures.
J. Symb. Log.
Leszek Pacholski, Wieslaw Szwast
1991 A* conf
On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality
LICS
Leszek Pacholski, Wieslaw Szwast
1991 — conf
Word Equations with Two Variables.
IWWERT
Witold Charatonik, Leszek Pacholski
1990 A* conf
Complexity of Unification in Free Groups and Free Semi-groups
FOCS
Antoni Koscielski, Leszek Pacholski
1989 A* conf
The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality
FOCS
Leszek Pacholski, Wieslaw Szwast
1981 J jnl
Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979.
J. Symb. Log.
Leszek Pacholski, Jedrzej Wierzejewski
1981 J jnl
Homogeneous limit reduced powers.
Arch. Math. Log.
Leszek Pacholski
1979 J jnl
European Meeting of the Association for Symbolic Logic.
J. Symb. Log.
Leszek Pacholski