Search the dblp DataBase
Leszek Pacholski :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Leszek Pacholski , Wieslaw Szwast The 0-1 Law Fails for the Class of Existential Second Order Gödel Sentences with Equality [Citation Graph (1, 0)][DBLP ] FOCS, 1989, pp:160-163 [Conf ] Leszek Pacholski , Andreas Podelski Set Constraints: A Pearl in Research on Constraints. [Citation Graph (0, 0)][DBLP ] CP, 1997, pp:549-562 [Conf ] Leszek Pacholski Decidability of finiteness properties (Abstract). [Citation Graph (0, 0)][DBLP ] CTRS, 1992, pp:429- [Conf ] Witold Charatonik , Leszek Pacholski Set constraints with projections are in NEXPTIME [Citation Graph (0, 0)][DBLP ] FOCS, 1994, pp:642-653 [Conf ] Antoni Koscielski , Leszek Pacholski Complexity of Unification in Free Groups and Free Semi-groups [Citation Graph (0, 0)][DBLP ] FOCS, 1990, pp:824-829 [Conf ] Jerzy Marcinkowski , Leszek Pacholski Undecidability of the Horn-Clause Implication Problem [Citation Graph (0, 0)][DBLP ] FOCS, 1992, pp:354-362 [Conf ] Leszek Pacholski , Malgorzata Wejman Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer Systems. [Citation Graph (0, 0)][DBLP ] HCI (1), 1993, pp:1029-1032 [Conf ] Witold Charatonik , Leszek Pacholski Word Equations with Two Variables. [Citation Graph (0, 0)][DBLP ] IWWERT, 1991, pp:43-56 [Conf ] Leszek Pacholski Tutoriel II: Is it difficult to solve equations in the algebra of words. [Citation Graph (0, 0)][DBLP ] JFPLC, 2000, pp:221-0 [Conf ] Leszek Pacholski Undecidability of Implication Problems in Logic Programming, Database Theory and Classical Logic. [Citation Graph (0, 0)][DBLP ] Kurt Gödel Colloquium, 1993, pp:63-68 [Conf ] Witold Charatonik , Leszek Pacholski Negative Set Constraints with Equality [Citation Graph (0, 0)][DBLP ] LICS, 1994, pp:128-136 [Conf ] Leszek Pacholski , Wieslaw Szwast On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality [Citation Graph (0, 0)][DBLP ] LICS, 1991, pp:280-285 [Conf ] Leszek Pacholski , Wieslaw Szwast , Lidia Tendera Complexity of Two-Variable Logic with Counting. [Citation Graph (0, 0)][DBLP ] LICS, 1997, pp:318-327 [Conf ] Pawel Mielniczuk , Leszek Pacholski Tarskian Set Constraints Are in NEXPTIME. [Citation Graph (0, 0)][DBLP ] MFCS, 1998, pp:589-596 [Conf ] Patrick Cégielski , Leszek Pacholski , Denis Richard , Jerzy Tomasik , Alex Wilkie Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:1- [Journal ] Jerzy Marcinkowski , Leszek Pacholski Thue trees. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2003, v:119, n:1-3, pp:19-59 [Journal ] Leszek Pacholski Ergonomic issues of the neural integrated human-computer interaction. [Citation Graph (0, 0)][DBLP ] Cybernetics and Systems, 2006, v:37, n:2-3, pp:219-228 [Journal ] Leszek Pacholski , Wieslaw Szwast A Counterexample to the 0-1 Law for the Class of Existential Second-Order Minimal Gödel Sentences with Equality [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1993, v:107, n:1, pp:91-103 [Journal ] Antoni Koscielski , Leszek Pacholski Complexity of Makanin's Algorithm. [Citation Graph (0, 0)][DBLP ] J. ACM, 1996, v:43, n:4, pp:670-684 [Journal ] Piotr Krysta , Leszek Pacholski The STO problem is NP-complete. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1999, v:27, n:2, pp:207-219 [Journal ] Leszek Pacholski European Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1979, v:44, n:3, pp:441-468 [Journal ] Leszek Pacholski , Wieslaw Szwast Asymptotic Probabilities of Existential Second-Order Gödel Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1991, v:56, n:2, pp:427-438 [Journal ] Leszek Pacholski , Jedrzej Wierzejewski Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1981, v:46, n:3, pp:690-702 [Journal ] Leszek Pacholski , Wieslaw Szwast , Lidia Tendera Complexity Results for First-Order Two-Variable Logic with Counting. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 2000, v:29, n:4, pp:1083-1117 [Journal ] Antoni Koscielski , Leszek Pacholski Makanin's Algorithm is not Primitive Recursive. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:191, n:1-2, pp:145-156 [Journal ] Search in 0.003secs, Finished in 0.004secs