Leszek Pacholski

According to our database, Leszek Pacholski authored at least 32 papers between 1979 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Correlations Linking Macroergonomic Premises with Key Features of Intelligent Buildings.

Leszek Pacholski

Proceedings of the Advances in Manufacturing, Production Management and Process Control, 2021

2019

The Conditioning of Macroergonomic Design and Improvement of the Intelligent Building's Use and Service.

Joanna Kalkowska, Leszek Pacholski

Proceedings of the Advances in Social and Occupational Ergonomics, 2019

The Macroergonomic Improvement of Total Quality Management Industrial Systems.

Milena Drzewiecka-Dahlke, Leszek Pacholski

Proceedings of the Advances in Social and Occupational Ergonomics, 2019

2017

Methodology of Maturity Level Rating for Macro Ergonomic System in Area of Sustainable Development.

Leszek Pacholski, Marek Szczuka

Proceedings of the Advances in Social & Occupational Ergonomics, 2017

Implementation of TPM Methodology in Worker Fatigue Management - A Macroergonomic Approach.

Marcin Butlewski, Grzegorz Dahlke, Milena Drzewiecka-Dahlke, Adam Górny, Leszek Pacholski

Proceedings of the Advances in Social & Occupational Ergonomics, 2017

2010

Set constraints with projections.

Witold Charatonik, Leszek Pacholski

J. ACM, 2010

2006

Ergonomic issues of the neural integrated human-computer interaction.

Leszek Pacholski

Cybern. Syst., 2006

2003

Thue trees.

Jerzy Marcinkowski, Leszek Pacholski

Ann. Pure Appl. Log., 2003

2000

Complexity Results for First-Order Two-Variable Logic with Counting.

Leszek Pacholski, Wieslaw Szwast, Lidia Tendera

SIAM J. Comput., 2000

Tutoriel II: Is it difficult to solve equations in the algebra of words.

Leszek Pacholski

Proceedings of the Programmation en logique avec contraintes, 2000

1999

The STO problem is NP-complete.

Piotr Krysta, Leszek Pacholski

J. Symb. Comput., 1999

1998

Makanin's Algorithm is not Primitive Recursive.

Antoni Koscielski, Leszek Pacholski

Theor. Comput. Sci., 1998

Tarskian Set Constraints Are in NEXPTIME.

Pawel Mielniczuk, Leszek Pacholski

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.

Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie

Ann. Pure Appl. Log., 1997

Complexity of Two-Variable Logic with Counting.

Leszek Pacholski, Wieslaw Szwast, Lidia Tendera

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

Set Constraints: A Pearl in Research on Constraints.

Leszek Pacholski, Andreas Podelski

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996

Complexity of Makanin's Algorithm.

Antoni Koscielski, Leszek Pacholski

J. ACM, 1996

1994

Negative Set Constraints with Equality

Witold Charatonik, Leszek Pacholski

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Set constraints with projections are in NEXPTIME

Witold Charatonik, Leszek Pacholski

Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994

1993

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Inf. Comput., November, 1993

Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic.

Leszek Pacholski

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems.

Leszek Pacholski, Malgorzata Wejman

Proceedings of the Human-Computer Interaction: Applications and Case Studies, 1993

1992

Undecidability of the Horn-Clause Implication Problem

Jerzy Marcinkowski, Leszek Pacholski

Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 1992

Decidability of finiteness properties (Abstract).

Leszek Pacholski

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Asymptotic Probabilities of Existential Second-Order Gödel Structures.

Leszek Pacholski, Wieslaw Szwast

J. Symb. Log., 1991

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Word Equations with Two Variables.

Witold Charatonik, Leszek Pacholski

Proceedings of the Word Equations and Related Topics, Second International Workshop, 1991

1990

Complexity of Unification in Free Groups and Free Semi-groups

Antoni Koscielski, Leszek Pacholski

Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

1989

The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality

Leszek Pacholski, Wieslaw Szwast

Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

1981

Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979.

Leszek Pacholski, Jedrzej Wierzejewski

J. Symb. Log., 1981

Homogeneous limit reduced powers.

Leszek Pacholski

Arch. Math. Log., 1981

1979

European Meeting of the Association for Symbolic Logic.

Leszek Pacholski

J. Symb. Log., 1979