default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Leszek Pacholski
@inproceedings{DBLP:conf/ahfe/Pacholski21,
author = {Leszek Pacholski},
editor = {Stefan Trzcielinski and
Beata Mrugalska and
Waldemar Karwowski and
Emilio Rossi and
Massimo Di Nicolantonio},
title = {Correlations Linking Macroergonomic Premises with Key Features of
Intelligent Buildings},
booktitle = {Advances in Manufacturing, Production Management and Process Control
- Proceedings of the {AHFE} 2021 Virtual Conferences on Human Aspects
of Advanced Manufacturing, Advanced Production Management and Process
Control, and Additive Manufacturing, Modeling Systems and 3D Prototyping,
July 25-29, 2021, {USA}},
series = {Lecture Notes in Networks and Systems},
volume = {274},
pages = {401--408},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80462-6\_49},
doi = {10.1007/978-3-030-80462-6\_49},
timestamp = {Wed, 25 Aug 2021 14:20:55 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/Pacholski21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/KalkowskaP19,
author = {Joanna Kalkowska and
Leszek Pacholski},
editor = {Richard H. M. Goossens and
Atsuo Murata},
title = {The Conditioning of Macroergonomic Design and Improvement of the Intelligent
Building's Use and Service},
booktitle = {Advances in Social and Occupational Ergonomics - Proceedings of the
{AHFE} 2019 International Conference on Social and Occupational Ergonomics,
Washington, DC, USA, July 24-28, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {970},
pages = {165--172},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20145-6\_16},
doi = {10.1007/978-3-030-20145-6\_16},
timestamp = {Thu, 30 Sep 2021 15:30:04 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/KalkowskaP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/Drzewiecka-Dahlke19,
author = {Milena Drzewiecka{-}Dahlke and
Leszek Pacholski},
editor = {Richard H. M. Goossens and
Atsuo Murata},
title = {The Macroergonomic Improvement of Total Quality Management Industrial
Systems},
booktitle = {Advances in Social and Occupational Ergonomics - Proceedings of the
{AHFE} 2019 International Conference on Social and Occupational Ergonomics,
Washington, DC, USA, July 24-28, 2019},
series = {Advances in Intelligent Systems and Computing},
volume = {970},
pages = {173--183},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20145-6\_17},
doi = {10.1007/978-3-030-20145-6\_17},
timestamp = {Thu, 30 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/Drzewiecka-Dahlke19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/ButlewskiDDGP17,
author = {Marcin Butlewski and
Grzegorz Dahlke and
Milena Drzewiecka{-}Dahlke and
Adam G{\'{o}}rny and
Leszek Pacholski},
editor = {Richard H. M. Goossens},
title = {Implementation of {TPM} Methodology in Worker Fatigue Management -
{A} Macroergonomic Approach},
booktitle = {Advances in Social {\&} Occupational Ergonomics - Proceedings
of the {AHFE} 2017 International Conference on Social {\&} Occupational
Ergonomics, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles,
California, {USA}},
series = {Advances in Intelligent Systems and Computing},
volume = {605},
pages = {32--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60828-0\_4},
doi = {10.1007/978-3-319-60828-0\_4},
timestamp = {Thu, 23 Jun 2022 19:56:24 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/ButlewskiDDGP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahfe/PacholskiS17,
author = {Leszek Pacholski and
Marek Szczuka},
editor = {Richard H. M. Goossens},
title = {Methodology of Maturity Level Rating for Macro Ergonomic System in
Area of Sustainable Development},
booktitle = {Advances in Social {\&} Occupational Ergonomics - Proceedings
of the {AHFE} 2017 International Conference on Social {\&} Occupational
Ergonomics, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles,
California, {USA}},
series = {Advances in Intelligent Systems and Computing},
volume = {605},
pages = {42--51},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60828-0\_5},
doi = {10.1007/978-3-319-60828-0\_5},
timestamp = {Wed, 06 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ahfe/PacholskiS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Pacholski10,
author = {Witold Charatonik and
Leszek Pacholski},
title = {Set constraints with projections},
journal = {J. {ACM}},
volume = {57},
number = {4},
pages = {23:1--23:37},
year = {2010},
url = {https://doi.org/10.1145/1734213.1734217},
doi = {10.1145/1734213.1734217},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Pacholski10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cas/Pacholski06,
author = {Leszek Pacholski},
title = {Ergonomic issues of the neural integrated human-computer interaction},
journal = {Cybern. Syst.},
volume = {37},
number = {2-3},
pages = {219--228},
year = {2006},
url = {https://doi.org/10.1080/01969720500428172},
doi = {10.1080/01969720500428172},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cas/Pacholski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/MarcinkowskiP03,
author = {Jerzy Marcinkowski and
Leszek Pacholski},
title = {Thue trees},
journal = {Ann. Pure Appl. Log.},
volume = {119},
number = {1-3},
pages = {19--59},
year = {2003},
url = {https://doi.org/10.1016/S0168-0072(02)00032-5},
doi = {10.1016/S0168-0072(02)00032-5},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/MarcinkowskiP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2001,
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {{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},
series = {Lecture Notes in Computer Science},
volume = {2234},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9},
doi = {10.1007/3-540-45627-9},
isbn = {3-540-42912-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/PacholskiST00,
author = {Leszek Pacholski and
Wieslaw Szwast and
Lidia Tendera},
title = {Complexity Results for First-Order Two-Variable Logic with Counting},
journal = {{SIAM} J. Comput.},
volume = {29},
number = {4},
pages = {1083--1117},
year = {2000},
url = {https://doi.org/10.1137/S0097539797323005},
doi = {10.1137/S0097539797323005},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/PacholskiST00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Pacholski00,
author = {Leszek Pacholski},
editor = {Toura{\"{\i}}vane},
title = {Tutoriel {II:} Is it difficult to solve equations in the algebra of
words},
booktitle = {Programmation en logique avec contraintes, {JFPLC} 2000, 28-30 Juin
2000, Marseille, France},
pages = {221},
publisher = {Hermes},
year = {2000},
timestamp = {Mon, 24 May 2004 15:53:50 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Pacholski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KrystaP99,
author = {Piotr Krysta and
Leszek Pacholski},
title = {The {STO} problem is NP-complete},
journal = {J. Symb. Comput.},
volume = {27},
number = {2},
pages = {207--219},
year = {1999},
url = {https://doi.org/10.1006/jsco.1998.0249},
doi = {10.1006/JSCO.1998.0249},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KrystaP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1999,
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3},
doi = {10.1007/3-540-48340-3},
isbn = {3-540-66408-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KoscielskiP98,
author = {Antoni Koscielski and
Leszek Pacholski},
title = {Makanin's Algorithm is not Primitive Recursive},
journal = {Theor. Comput. Sci.},
volume = {191},
number = {1-2},
pages = {145--156},
year = {1998},
url = {https://doi.org/10.1016/S0304-3975(96)00321-0},
doi = {10.1016/S0304-3975(96)00321-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KoscielskiP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MielniczukP98,
author = {Pawel Mielniczuk and
Leszek Pacholski},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Tarskian Set Constraints Are in {NEXPTIME}},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {589--596},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055809},
doi = {10.1007/BFB0055809},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MielniczukP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CegielskiPRTW97,
author = {Patrick C{\'{e}}gielski and
Leszek Pacholski and
Denis Richard and
Jerzy Tomasik and
Alex Wilkie},
title = {Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand,
France},
journal = {Ann. Pure Appl. Log.},
volume = {89},
number = {1},
pages = {1},
year = {1997},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CegielskiPRTW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PacholskiP97,
author = {Leszek Pacholski and
Andreas Podelski},
editor = {Gert Smolka},
title = {Set Constraints: {A} Pearl in Research on Constraints},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {549--562},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017466},
doi = {10.1007/BFB0017466},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PacholskiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PacholskiST97,
author = {Leszek Pacholski and
Wieslaw Szwast and
Lidia Tendera},
title = {Complexity of Two-Variable Logic with Counting},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {318--327},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614958},
doi = {10.1109/LICS.1997.614958},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PacholskiST97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KoscielskiP96,
author = {Antoni Koscielski and
Leszek Pacholski},
title = {Complexity of Makanin's Algorithm},
journal = {J. {ACM}},
volume = {43},
number = {4},
pages = {670--684},
year = {1996},
url = {https://doi.org/10.1145/234533.234543},
doi = {10.1145/234533.234543},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/KoscielskiP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1994,
editor = {Leszek Pacholski and
Jerzy Tiuryn},
title = {Computer Science Logic, 8th International Workshop, {CSL} '94, Kazimierz,
Poland, September 25-30, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {933},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0022242},
doi = {10.1007/BFB0022242},
isbn = {3-540-60017-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/CharatonikP94,
author = {Witold Charatonik and
Leszek Pacholski},
title = {Set constraints with projections are in {NEXPTIME}},
booktitle = {35th Annual Symposium on Foundations of Computer Science, Santa Fe,
New Mexico, USA, 20-22 November 1994},
pages = {642--653},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/SFCS.1994.365727},
doi = {10.1109/SFCS.1994.365727},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/CharatonikP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CharatonikP94,
author = {Witold Charatonik and
Leszek Pacholski},
title = {Negative Set Constraints with Equality},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {128--136},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316078},
doi = {10.1109/LICS.1994.316078},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CharatonikP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PacholskiS93,
author = {Leszek Pacholski and
Wieslaw Szwast},
title = {A Counterexample to the 0-1 Law for the Class of Existential Second-Order
Minimal G{\"{o}}del Sentences with Equality},
journal = {Inf. Comput.},
volume = {107},
number = {1},
pages = {91--103},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1062},
doi = {10.1006/INCO.1993.1062},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PacholskiS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PacholskiW93,
author = {Leszek Pacholski and
Malgorzata Wejman},
editor = {Michael J. Smith and
Gavriel Salvendy},
title = {Formal Modelling of the Ergonomicity Level Evaluation of Man-Microcomputer
Systems},
booktitle = {Human-Computer Interaction: Applications and Case Studies, Proceedings
of the Fifth International Conference on Human-Computer Interaction,
{(HCI} International '93), Orlando, Florida, USA, August 8-13, 1993,
Volume 1},
pages = {1029--1032},
publisher = {Elsevier},
year = {1993},
timestamp = {Tue, 06 Dec 2016 09:37:41 +0100},
biburl = {https://dblp.org/rec/conf/hci/PacholskiW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kgc/Pacholski93,
author = {Leszek Pacholski},
editor = {Georg Gottlob and
Alexander Leitsch and
Daniele Mundici},
title = {Undecidability of Implication Problems in Logic Programming, Database
Theory and Classical Logic},
booktitle = {Computational Logic and Proof Theory, Third Kurt G{\"{o}}del
Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {713},
pages = {63--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0022554},
doi = {10.1007/BFB0022554},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/kgc/Pacholski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Pacholski92,
author = {Leszek Pacholski},
editor = {Micha{\"{e}}l Rusinowitch and
Jean{-}Luc R{\'{e}}my},
title = {Decidability of finiteness properties (Abstract)},
booktitle = {Conditional Term Rewriting Systems, Third International Workshop,
CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {656},
pages = {429},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56393-8\_33},
doi = {10.1007/3-540-56393-8\_33},
timestamp = {Thu, 08 Aug 2019 14:41:47 +0200},
biburl = {https://dblp.org/rec/conf/ctrs/Pacholski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/MarcinkowskiP92,
author = {Jerzy Marcinkowski and
Leszek Pacholski},
title = {Undecidability of the Horn-Clause Implication Problem},
booktitle = {33rd Annual Symposium on Foundations of Computer Science, Pittsburgh,
Pennsylvania, USA, 24-27 October 1992},
pages = {354--362},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/SFCS.1992.267755},
doi = {10.1109/SFCS.1992.267755},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/MarcinkowskiP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PacholskiS91,
author = {Leszek Pacholski and
Wieslaw Szwast},
title = {Asymptotic Probabilities of Existential Second-Order G{\"{o}}del
Structures},
journal = {J. Symb. Log.},
volume = {56},
number = {2},
pages = {427--438},
year = {1991},
url = {https://doi.org/10.2307/2274691},
doi = {10.2307/2274691},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PacholskiS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwwert/CharatonikP91,
author = {Witold Charatonik and
Leszek Pacholski},
editor = {Habib Abdulrab and
Jean{-}Pierre P{\'{e}}cuchet},
title = {Word Equations with Two Variables},
booktitle = {Word Equations and Related Topics, Second International Workshop,
{IWWERT} '91, Rouen, France, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {677},
pages = {43--56},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56730-5\_30},
doi = {10.1007/3-540-56730-5\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/iwwert/CharatonikP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PacholskiS91,
author = {Leszek Pacholski and
Wieslaw Szwast},
title = {On the 0-1 Law for the class of Existential Second Order Minimal G{\"{o}}del
Sentences with Equality},
booktitle = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
{(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
pages = {280--285},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/LICS.1991.151652},
doi = {10.1109/LICS.1991.151652},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PacholskiS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KoscielskiP90,
author = {Antoni Koscielski and
Leszek Pacholski},
title = {Complexity of Unification in Free Groups and Free Semi-groups},
booktitle = {31st Annual Symposium on Foundations of Computer Science, St. Louis,
Missouri, USA, October 22-24, 1990, Volume {II}},
pages = {824--829},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/FSCS.1990.89605},
doi = {10.1109/FSCS.1990.89605},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/KoscielskiP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/PacholskiS89,
author = {Leszek Pacholski and
Wieslaw Szwast},
title = {The 0-1 Law Fails for the Class of Existential Second Order G{\"{o}}del
Sentences with Equality},
booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
pages = {160--163},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/SFCS.1989.63472},
doi = {10.1109/SFCS.1989.63472},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/PacholskiS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Pacholski81,
author = {Leszek Pacholski},
title = {Homogeneous limit reduced powers},
journal = {Arch. Math. Log.},
volume = {21},
number = {1},
pages = {131--136},
year = {1981},
url = {https://doi.org/10.1007/BF02011639},
doi = {10.1007/BF02011639},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Pacholski81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PacholskiW81,
author = {Leszek Pacholski and
Jedrzej Wierzejewski},
title = {Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland
1979},
journal = {J. Symb. Log.},
volume = {46},
number = {3},
pages = {690--702},
year = {1981},
url = {https://doi.org/10.2307/2273779},
doi = {10.2307/2273779},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PacholskiW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pacholski79,
author = {Leszek Pacholski},
title = {European Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {44},
number = {3},
pages = {441--468},
year = {1979},
url = {https://doi.org/10.2307/2273135},
doi = {10.2307/2273135},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pacholski79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-02 21:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
