Leszek Pacholski - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2021

Correlations Linking Macroergonomic Premises with Key Features of Intelligent BuildingsLeszek Pacholski. ahfe 2021: 401-408 [doi]

2019

The Macroergonomic Improvement of Total Quality Management Industrial SystemsMilena Drzewiecka-Dahlke, Leszek Pacholski. ahfe 2020: 173-183 [doi]

The Conditioning of Macroergonomic Design and Improvement of the Intelligent Building's Use and ServiceJoanna Kalkowska, Leszek Pacholski. ahfe 2020: 165-172 [doi]

2017

Implementation of TPM Methodology in Worker Fatigue Management - A Macroergonomic ApproachMarcin Butlewski, Grzegorz Dahlke, Milena Drzewiecka-Dahlke, Adam Górny, Leszek Pacholski. ahfe 2018: 32-41 [doi]

Methodology of Maturity Level Rating for Macro Ergonomic System in Area of Sustainable DevelopmentLeszek Pacholski, Marek Szczuka. ahfe 2018: 42-51 [doi]

2010

Set constraints with projectionsWitold Charatonik, Leszek Pacholski. JACM, 57(4), 2010. [doi]

2006

Ergonomic issues of the neural integrated human-computer interactionLeszek Pacholski. cas, 37(2-3):219-228, 2006. [doi]

2003

Thue treesJerzy Marcinkowski, Leszek Pacholski. APAL, 119(1-3):19-59, 2003.

2000

Tutoriel II: Is it difficult to solve equations in the algebra of wordsLeszek Pacholski. jfplc 2000: 221

Complexity Results for First-Order Two-Variable Logic with CountingLeszek Pacholski, Wieslaw Szwast, Lidia Tendera. SICOMP, 29(4):1083-1117, 2000.

1999

The STO problem is NP-completePiotr Krysta, Leszek Pacholski. JSC, 27(2):207-219, 1999.

1998

Makanin s Algorithm is not Primitive RecursiveAntoni Koscielski, Leszek Pacholski. TCS, 191(1-2):145-156, 1998. [doi]

Tarskian Set Constraints Are in NEXPTIMEPawel Mielniczuk, Leszek Pacholski. mfcs 1998: 589-596 [doi]

1997

Preface - Logic Colloquium 94, 21-30 July 1994, Clermont-Ferrand, FrancePatrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie. APAL, 89(1):1, 1997.

Complexity of Two-Variable Logic with CountingLeszek Pacholski, Wieslaw Szwast, Lidia Tendera. lics 1997: 318-327 [doi]

Set Constraints: A Pearl in Research on ConstraintsLeszek Pacholski, Andreas Podelski. cp 1997: 549-562

1996

Complexity of Makanin s AlgorithmAntoni Koscielski, Leszek Pacholski. JACM, 43(4):670-684, 1996. [doi]

1994

Negative Set Constraints with EqualityWitold Charatonik, Leszek Pacholski. lics 1994: 128-136

Set constraints with projections are in NEXPTIMEWitold Charatonik, Leszek Pacholski. focs 1994: 642-653

1993

A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with EqualityLeszek Pacholski, Wieslaw Szwast. iandc, 107(1):91-103, November 1993.

Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer SystemsLeszek Pacholski, Malgorzata Wejman. hci 1993: 1029-1032

Undecidability of Implication Problems in Logic Programming, Database Theory and Classical LogicLeszek Pacholski. kgc 1993: 63-68

1992

Undecidability of the Horn-Clause Implication ProblemJerzy Marcinkowski, Leszek Pacholski. focs 1992: 354-362

Decidability of finiteness properties (Abstract)Leszek Pacholski. ctrs 1993: 429

1991

Word Equations with Two VariablesWitold Charatonik, Leszek Pacholski. iwwert 1993: 43-56

Asymptotic Probabilities of Existential Second-Order Gödel StructuresLeszek Pacholski, Wieslaw Szwast. JSYML, 56(2):427-438, 1991.

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with EqualityLeszek Pacholski, Wieslaw Szwast. lics 1991: 280-285

1990

Complexity of Unification in Free Groups and Free Semi-groupsAntoni Koscielski, Leszek Pacholski. focs 1990: 824-829

1989

The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with EqualityLeszek Pacholski, Wieslaw Szwast. focs 1989: 160-163

1981

Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979Leszek Pacholski, Jedrzej Wierzejewski. JSYML, 46(3):690-702, 1981.

Homogeneous limit reduced powersLeszek Pacholski. AML, 21(1):131-136, 1981. [doi]

1979

European Meeting of the Association for Symbolic LogicLeszek Pacholski. JSYML, 44(3):441-468, 1979.

Sign in or sign up to see more results.

runs on WebDSL