Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tomasz Kowalski
@article{DBLP:journals/apal/GainaBK23,
author = {Daniel Gaina and
Guillermo Badia and
Tomasz Kowalski},
title = {Omitting types theorem in hybrid dynamic first-order logic with rigid
symbols},
journal = {Ann. Pure Appl. Log.},
volume = {174},
number = {3},
pages = {103212},
year = {2023},
url = {https://doi.org/10.1016/j.apal.2022.103212},
doi = {10.1016/J.APAL.2022.103212},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/GainaBK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/BoturK23,
author = {Michal Botur and
Tomasz Kowalski},
title = {Kites and representations of pseudo MV-algebras},
journal = {Fuzzy Sets Syst.},
volume = {455},
pages = {158--182},
year = {2023},
url = {https://doi.org/10.1016/j.fss.2022.09.014},
doi = {10.1016/J.FSS.2022.09.014},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/BoturK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GainaK22,
author = {Daniel Gaina and
Tomasz Kowalski},
title = {Lindstr{\"{o}}m's theorem, both syntax and semantics free},
journal = {J. Log. Comput.},
volume = {32},
number = {5},
pages = {942--975},
year = {2022},
url = {https://doi.org/10.1093/logcom/exab073},
doi = {10.1093/LOGCOM/EXAB073},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GainaK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KowalskiGSCRCWS22,
author = {Tomasz Kowalski and
Gian Piero Gibiino and
Jaroslaw Szewinski and
Krzysztof Czuba and
Dominik Rybka and
Konrad Chmielewski and
Zbigniew Wojciechowski and
Maciej Sitek},
title = {Experimental Evaluation of Sub-Sampling {IQ} Detection for Low-Level
{RF} Control in Particle Accelerator Systems},
journal = {Sensors},
volume = {22},
number = {1},
pages = {38},
year = {2022},
url = {https://doi.org/10.3390/s22010038},
doi = {10.3390/S22010038},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/KowalskiGSCRCWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/BadiaKG22,
author = {Guillermo Badia and
Tomasz Kowalski and
Daniel Gaina},
editor = {David Fern{\'{a}}ndez{-}Duque and
Alessandra Palmigiano and
Sophie Pinchinat},
title = {Robinson consistency in many-sorted hybrid first-order logics},
booktitle = {Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25,
2022},
pages = {407--428},
publisher = {College Publications},
year = {2022},
url = {http://www.aiml.net/volumes/volume14/25-Gaina-Badia-Kowalski.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/BadiaKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-03098,
author = {Badriah Al Juaid and
Marcel Jackson and
James Koussas and
Tomasz Kowalski},
title = {Qualitative representations of chromatic algebras},
journal = {CoRR},
volume = {abs/2201.03098},
year = {2022},
url = {https://arxiv.org/abs/2201.03098},
eprinttype = {arXiv},
eprint = {2201.03098},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-03098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/DaveyKT21,
author = {Brian A. Davey and
Tomasz Kowalski and
Christopher J. Taylor},
title = {Splittings in varieties of logic},
journal = {Int. J. Algebra Comput.},
volume = {31},
number = {4},
pages = {727--774},
year = {2021},
url = {https://doi.org/10.1142/S021819672150034X},
doi = {10.1142/S021819672150034X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/DaveyKT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GainaK20,
author = {Daniel Gaina and
Tomasz Kowalski},
title = {Fra{\"{\i}}ss{\'{e}}-Hintikka theorem in institutions},
journal = {J. Log. Comput.},
volume = {30},
number = {7},
pages = {1377--1399},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa042},
doi = {10.1093/LOGCOM/EXAA042},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GainaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KowalskiM19,
author = {Tomasz Kowalski and
George Metcalfe},
title = {Uniform interpolation and coherence},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {7},
pages = {825--841},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.02.004},
doi = {10.1016/J.APAL.2019.02.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KowalskiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HirschJK19,
author = {Robin Hirsch and
Marcel Jackson and
Tomasz Kowalski},
title = {Algebraic foundations for qualitative calculi and networks},
journal = {Theor. Comput. Sci.},
volume = {768},
pages = {99--116},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.02.033},
doi = {10.1016/J.TCS.2019.02.033},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HirschJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KoussasKMS18,
author = {James Koussas and
Tomasz Kowalski and
Yutaka Miyazaki and
Michael Stevens},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Normal Extensions of {KTB} of Codimension 3},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {447--458},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Koussas-Kowalski-Miyazaki-Stevens.pdf},
timestamp = {Tue, 16 Jan 2024 17:18:03 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KoussasKMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/KowalskiM18,
author = {Tomasz Kowalski and
George Metcalfe},
editor = {Guram Bezhanishvili and
Giovanna D'Agostino and
George Metcalfe and
Thomas Studer},
title = {Coherence in Modal Logic},
booktitle = {Advances in Modal Logic 12, proceedings of the 12th conference on
"Advances in Modal Logic," held in Bern, Switzerland, August 27-31,
2018},
pages = {459--472},
publisher = {College Publications},
year = {2018},
url = {http://www.aiml.net/volumes/volume12/Kowalski-Metcalfe.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiml/KowalskiM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/KowalskiO17,
author = {Tomasz Kowalski and
Hiroakira Ono},
title = {Analytic Cut and interpolation for bi-intuitionistic Logic},
journal = {Rev. Symb. Log.},
volume = {10},
number = {2},
pages = {259--283},
year = {2017},
url = {https://doi.org/10.1017/S175502031600040X},
doi = {10.1017/S175502031600040X},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/KowalskiO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/romoco/SewerynBBCLKMMM17,
author = {Karol Seweryn and
Jedrzej Baran and
Tomasz Barcinski and
Pablo Colmenarejo and
Aleksander Los and
Tomasz Kowalski and
Luis Mollinedo and
Dario Mora and
Jacek Musial and
Gabriele Novelli and
Jakub Oles and
Katarzyna Ososinska and
Pawel Pasko and
Gaetano Prisco and
Tomasz Rybus and
Pedro Serra and
Roman Wawrzaszek and
Jesus Gil Fernandez},
title = {The prototype of space manipulator {WMS} {LEMUR} dedicated to capture
tumbling satellites in on-orbit environment},
booktitle = {11th International Workshop on Robot Motion and Control, RoMoCo 2017,
Wasowo Palace, Poland, July 3-5, 2017},
pages = {15--22},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/RoMoCo.2017.8003887},
doi = {10.1109/ROMOCO.2017.8003887},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/romoco/SewerynBBCLKMMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/JacksonKN16,
author = {Marcel Jackson and
Tomasz Kowalski and
Todd Niven},
title = {Complexity and polymorphisms for digraph constraint problems under
some basic constructions},
journal = {Int. J. Algebra Comput.},
volume = {26},
number = {7},
pages = {1395--1433},
year = {2016},
url = {https://doi.org/10.1142/S0218196716500600},
doi = {10.1142/S0218196716500600},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijac/JacksonKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/KowalskiH16,
author = {Tomasz Kowalski and
Lloyd Humberstone},
title = {An Abelian Rule for {BCI} - and Variations},
journal = {Notre Dame J. Formal Log.},
volume = {57},
number = {4},
pages = {551--568},
year = {2016},
url = {https://doi.org/10.1215/00294527-3679398},
doi = {10.1215/00294527-3679398},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/KowalskiH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HirschJKN16,
author = {Robin Hirsch and
Marcel Jackson and
Tomasz Kowalski and
Todd Niven},
title = {Algebraic foundations for qualitative calculi and networks},
journal = {CoRR},
volume = {abs/1606.09140},
year = {2016},
url = {http://arxiv.org/abs/1606.09140},
eprinttype = {arXiv},
eprint = {1606.09140},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HirschJKN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KowalskiLP14,
author = {Tomasz Kowalski and
Antonio Ledda and
Francesco Paoli},
title = {Quasi-subtractive varieties: Open filters, congruences and the commutator},
journal = {Log. J. {IGPL}},
volume = {22},
number = {6},
pages = {844--871},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzu006},
doi = {10.1093/JIGPAL/JZU006},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KowalskiLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/PaoliLKS14,
author = {Francesco Paoli and
Antonio Ledda and
Tomasz Kowalski and
Matthew Spinks},
title = {Quasi-discriminator varieties},
journal = {Int. J. Algebra Comput.},
volume = {24},
number = {3},
pages = {375},
year = {2014},
url = {https://doi.org/10.1142/S0218196714500179},
doi = {10.1142/S0218196714500179},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/PaoliLKS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/GoldblattK14,
author = {Robert Goldblatt and
Tomasz Kowalski},
title = {The Power of a Propositional Constant},
journal = {J. Philos. Log.},
volume = {43},
number = {1},
pages = {133--152},
year = {2014},
url = {https://doi.org/10.1007/s10992-012-9256-0},
doi = {10.1007/S10992-012-9256-0},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/GoldblattK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kowalski14,
author = {Tomasz Kowalski},
title = {{BCK} is not Structurally Complete},
journal = {Notre Dame J. Formal Log.},
volume = {55},
number = {2},
pages = {197--204},
year = {2014},
url = {https://doi.org/10.1215/00294527-2420642},
doi = {10.1215/00294527-2420642},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kowalski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/Kowalski13,
author = {Tomasz Kowalski},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Relevant logic and relation algebras},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {125--128},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/8gj7},
doi = {10.29007/8GJ7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/Kowalski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/LeddaKPS13,
author = {Antonio Ledda and
Tomasz Kowalski and
Francesco Paoli and
Antonino Salibra},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Boolean like algebras},
booktitle = {{TACL} 2013. Sixth International Conference on Topology, Algebra and
Categories in Logic, Vanderbilt University, Nashville, Tennessee,
USA, July 28 - August 1, 2013},
series = {EPiC Series in Computing},
volume = {25},
pages = {141--144},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/dzwk},
doi = {10.29007/DZWK},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/LeddaKPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4986,
author = {Marcel Jackson and
Tomasz Kowalski and
Todd Niven},
title = {Digraph related constructions and the complexity of digraph homomorphism
problems},
journal = {CoRR},
volume = {abs/1304.4986},
year = {2013},
url = {http://arxiv.org/abs/1304.4986},
eprinttype = {arXiv},
eprint = {1304.4986},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-4986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KhoussainovK12,
author = {Bakhadyr Khoussainov and
Tomasz Kowalski},
title = {Computable Isomorphisms of Boolean Algebras with Operators},
journal = {Stud Logica},
volume = {100},
number = {3},
pages = {481--496},
year = {2012},
url = {https://doi.org/10.1007/s11225-012-9411-1},
doi = {10.1007/S11225-012-9411-1},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KhoussainovK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/BoturDK12,
author = {Michal Botur and
Anatolij Dvurecenskij and
Tomasz Kowalski},
title = {On normal-valued basic pseudo-hoops},
journal = {Soft Comput.},
volume = {16},
number = {4},
pages = {635--644},
year = {2012},
url = {https://doi.org/10.1007/s00500-011-0763-7},
doi = {10.1007/S00500-011-0763-7},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/BoturDK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/DvurecenskijKM11,
author = {Anatolij Dvurecenskij and
Tomasz Kowalski and
Franco Montagna},
title = {State morphism MV-algebras},
journal = {Int. J. Approx. Reason.},
volume = {52},
number = {8},
pages = {1215--1228},
year = {2011},
url = {https://doi.org/10.1016/j.ijar.2011.07.003},
doi = {10.1016/J.IJAR.2011.07.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/DvurecenskijKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KowalskiPS11,
author = {Tomasz Kowalski and
Francesco Paoli and
Matthew Spinks},
title = {Quasi-subtractive varieties},
journal = {J. Symb. Log.},
volume = {76},
number = {4},
pages = {1261--1286},
year = {2011},
url = {https://doi.org/10.2178/jsl/1318338848},
doi = {10.2178/JSL/1318338848},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KowalskiPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LeddaKP11,
author = {Antonio Ledda and
Tomasz Kowalski and
Francesco Paoli},
title = {On Certain Quasivarieties of Quasi-MV Algebras},
journal = {Stud Logica},
volume = {98},
number = {1-2},
pages = {149--174},
year = {2011},
url = {https://doi.org/10.1007/s11225-011-9331-5},
doi = {10.1007/S11225-011-9331-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/LeddaKP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/KowalskiO10,
author = {Tomasz Kowalski and
Hiroakira Ono},
title = {Fuzzy logics from substructural perspective},
journal = {Fuzzy Sets Syst.},
volume = {161},
number = {3},
pages = {301--310},
year = {2010},
url = {https://doi.org/10.1016/j.fss.2009.09.005},
doi = {10.1016/J.FSS.2009.09.005},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/KowalskiO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/PaoliK10,
author = {Francesco Paoli and
Tomasz Kowalski},
title = {On some properties of quasi {MV} algebras and square root quasi {MV}
algebras. Part {III}},
journal = {Reports Math. Log.},
volume = {45},
pages = {161--199},
year = {2010},
url = {https://rml.tcs.uj.edu.pl/rml-45/08-Kowalski.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/PaoliK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KowalskiPGL10,
author = {Tomasz Kowalski and
Francesco Paoli and
Roberto Giuntini and
Antonio Ledda},
title = {The Lattice of Subvarieties of {\textdollar}{\textdollar}\{{\textbackslash}sqrt\{{\textbackslash}prime\}\}{\textdollar}{\textdollar}
quasi-MV Algebras},
journal = {Stud Logica},
volume = {95},
number = {1-2},
pages = {37--61},
year = {2010},
url = {https://doi.org/10.1007/s11225-010-9256-4},
doi = {10.1007/S11225-010-9256-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KowalskiPGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/SergioliLPGKMFM09,
author = {Giuseppe Sergioli and
Antonio Ledda and
Francesco Paoli and
Roberto Giuntini and
Tomasz Kowalski and
Franco Montagna and
Hector Freytes and
Claudio Marini},
title = {Two cooperative versions of the Guessing Secrets problem},
journal = {Inf. Sci.},
volume = {179},
number = {20},
pages = {3645--3658},
year = {2009},
url = {https://doi.org/10.1016/j.ins.2009.06.014},
doi = {10.1016/J.INS.2009.06.014},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/SergioliLPGKMFM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/09/KowalskiM09,
author = {Tomasz Kowalski and
Yutaka Miyazaki},
editor = {David Makinson and
Jacek Malinowski and
Heinrich Wansing},
title = {All Splitting Logics in the Lattice NExt(KTB)},
booktitle = {Towards Mathematical Philosophy},
series = {Trends in logic},
volume = {28},
pages = {53--67},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-1-4020-9084-4\_4},
doi = {10.1007/978-1-4020-9084-4\_4},
timestamp = {Tue, 29 Dec 2020 18:14:50 +0100},
biburl = {https://dblp.org/rec/books/sp/09/KowalskiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Kowalski08,
author = {Tomasz Kowalski},
title = {Self-implications in {BCI}},
journal = {Notre Dame J. Formal Log.},
volume = {49},
number = {3},
pages = {295--305},
year = {2008},
url = {https://doi.org/10.1215/00294527-2008-013},
doi = {10.1215/00294527-2008-013},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Kowalski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/KowalskiS08,
author = {Tomasz Kowalski and
John K. Slaney},
title = {A finite fragment of {S3}},
journal = {Reports Math. Log.},
volume = {43},
pages = {65--72},
year = {2008},
url = {https://rml.tcs.uj.edu.pl/rml-43/a-kow-43.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/KowalskiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LiKRL08,
author = {Jason Jingshi Li and
Tomasz Kowalski and
Jochen Renz and
Sanjiang Li},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Combining binary constraint networks in qualitative reasoning},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {515--519},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-515},
doi = {10.3233/978-1-58603-891-5-515},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/LiKRL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/ButchartK06,
author = {Sam Butchart and
Tomasz Kowalski},
title = {A Note on Monothetic {BCI}},
journal = {Notre Dame J. Formal Log.},
volume = {47},
number = {4},
pages = {541--544},
year = {2006},
url = {https://doi.org/10.1305/ndjfl/1168352666},
doi = {10.1305/NDJFL/1168352666},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/ButchartK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/KatohKU06,
author = {Yosuke Katoh and
Tomasz Kowalski and
Masaki Ueda},
title = {Almost minimal varieties related to fuzzy logic},
journal = {Reports Math. Log.},
volume = {41},
pages = {173--194},
year = {2006},
url = {https://rml.tcs.uj.edu.pl/rml-41/41-06.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/KatohKU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KowalskiK06,
author = {Tomasz Kowalski and
Marcus Kracht},
title = {Semisimple Varieties of Modal Algebras},
journal = {Stud Logica},
volume = {83},
number = {1-3},
pages = {351--363},
year = {2006},
url = {https://doi.org/10.1007/s11225-006-8308-2},
doi = {10.1007/S11225-006-8308-2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KowalskiK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Kowalski06,
author = {Tomasz Kowalski},
title = {Net Verifier of Discrete Event System models expressed by {UML} Activity
Diagrams},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
and Cybernetics, Taipei, Taiwan, October 8-11, 2006},
pages = {3405--3410},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICSMC.2006.384645},
doi = {10.1109/ICSMC.2006.384645},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/Kowalski06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kowalski04,
author = {Tomasz Kowalski},
title = {Semisimplicity, {EDPC} and Discriminator Varieties of Residuated Lattices},
journal = {Stud Logica},
volume = {77},
number = {2},
pages = {255--265},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000037129.58589.0c},
doi = {10.1023/B:STUD.0000037129.58589.0C},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kowalski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iis/JassemGK03,
author = {Krzysztof Jassem and
Filip Gralinski and
Tomasz Kowalski},
editor = {Mieczyslaw A. Klopotek and
Slawomir T. Wierzchon and
Krzysztof Trojanowski},
title = {Applying Transition Networks in Translating Polish E-Mails},
booktitle = {Intelligent Information Processing and Web Mining, Proceedings of
the International {IIS:} IIPWM'03 Conference held in Zakopane, Poland,
June 2-5, 2003},
series = {Advances in Soft Computing},
pages = {521--527},
publisher = {Springer},
year = {2003},
timestamp = {Thu, 18 Mar 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iis/JassemGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/KowalskiO00,
author = {Tomasz Kowalski and
Hiroakira Ono},
title = {The Variety of Residuated Lattices is Generated by its Finite Simple
Members},
journal = {Reports Math. Log.},
volume = {34},
pages = {59--77},
year = {2000},
url = {https://rml.tcs.uj.edu.pl/rml-34/a-ono-34.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/KowalskiO00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/KowalskiO00a,
author = {Tomasz Kowalski and
Hiroakira Ono},
title = {Remarks on Splittings in the Variety of Residuated Lattices},
journal = {Reports Math. Log.},
volume = {34},
pages = {133--140},
year = {2000},
url = {https://rml.tcs.uj.edu.pl/rml-34/34-Kowalski-Ono-abstr.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/KowalskiO00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kowalski99,
author = {Tomasz Kowalski},
title = {Pretabular Varieties of Equivalential Algebras},
journal = {Reports Math. Log.},
volume = {33},
pages = {3--10},
year = {1999},
url = {https://rml.tcs.uj.edu.pl/rml-33/a-kow-33.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kowalski99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kowalski98,
author = {Tomasz Kowalski},
title = {Varieties of Tense Algebras},
journal = {Reports Math. Log.},
volume = {32},
pages = {53--95},
year = {1998},
url = {https://rml.tcs.uj.edu.pl/rml-32/a-kow-32.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kowalski98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kowalski95,
author = {Tomasz Kowalski},
title = {The Bottom of the Lattice of BCK-varieties},
journal = {Reports Math. Log.},
volume = {29},
pages = {87--93},
year = {1995},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kowalski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kowalski94,
author = {Tomasz Kowalski},
title = {A Syntactic Proof of a Conjecture of Andrzej Wronski},
journal = {Reports Math. Log.},
volume = {28},
pages = {81--86},
year = {1994},
url = {https://rml.tcs.uj.edu.pl/rml-28/a-kow-28.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kowalski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 02:40 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:
