Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Peter Jipsen
@article{DBLP:journals/lmcs/AlpayJS24,
author = {Natanael Alpay and
Peter Jipsen and
Melissa Sugimoto},
title = {Varieties of unary-determined distributive {\textdollar}{\textbackslash}ell{\textdollar}-magmas
and bunched implication algebras},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:12)2024},
doi = {10.46298/LMCS-20(1:12)2024},
timestamp = {Tue, 05 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AlpayJS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GrecoJLPT24,
author = {Giuseppe Greco and
Peter Jipsen and
Fei Liang and
Alessandra Palmigiano and
Apostolos Tzimoulis},
title = {Algebraic Proof Theory for LE-logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {25},
number = {1},
pages = {6:1--6:37},
year = {2024},
url = {https://doi.org/10.1145/3632526},
doi = {10.1145/3632526},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GrecoJLPT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GilFerezJL23,
author = {Jos{\'{e}} Gil{-}F{\'{e}}rez and
Peter Jipsen and
Siddhartha Lodhia},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {The Structure of Locally Integral Involutive Po-monoids and Semirings},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {69--86},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_5},
doi = {10.1007/978-3-031-28083-2\_5},
timestamp = {Fri, 10 Mar 2023 15:47:06 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/GilFerezJL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/JipsenS23,
author = {Peter Jipsen and
Jas Semrl},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {Representable and Diagonally Representable Weakening Relation Algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {140--157},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_9},
doi = {10.1007/978-3-031-28083-2\_9},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/JipsenS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-02213,
author = {Peter Jipsen and
Jas Semrl},
title = {Representable and diagonally representable weakening relation algebras},
journal = {CoRR},
volume = {abs/2301.02213},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.02213},
doi = {10.48550/ARXIV.2301.02213},
eprinttype = {arXiv},
eprint = {2301.02213},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-02213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/JipsenN22,
author = {Peter Jipsen and
James B. Nation},
title = {Primitive lattice varieties},
journal = {Int. J. Algebra Comput.},
volume = {32},
number = {4},
pages = {717--752},
year = {2022},
url = {https://doi.org/10.1142/S021819672250031X},
doi = {10.1142/S021819672250031X},
timestamp = {Sun, 24 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/JipsenN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/AlpayJS21,
author = {Natanael Alpay and
Peter Jipsen and
Melissa Sugimoto},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {Unary-Determined Distributive {\(\mathscr{l}\)}-magmas and Bunched
Implication Algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {19--36},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_2},
doi = {10.1007/978-3-030-88701-8\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/AlpayJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/ConradieGJ21,
author = {Willem Conradie and
Valentin Goranko and
Peter Jipsen},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {Algorithmic Correspondence for Relevance Logics, Bunched Implication
Logics, and Relation Algebras via an Implementation of the Algorithm
{PEARL}},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {126--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_8},
doi = {10.1007/978-3-030-88701-8\_8},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/ConradieGJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06603,
author = {Willem Conradie and
Valentin Goranko and
Peter Jipsen},
title = {Algorithmic correspondence for relevance logics, bunched implication
logics, and relation algebras: the algorithm {PEARL} and its implementation
(Technical Report)},
journal = {CoRR},
volume = {abs/2108.06603},
year = {2021},
url = {https://arxiv.org/abs/2108.06603},
eprinttype = {arXiv},
eprint = {2108.06603},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/AlpayJ20,
author = {Natanael Alpay and
Peter Jipsen},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Commutative Doubly-Idempotent Semirings Determined by Chains and by
Preorder Forests},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {1--14},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_1},
doi = {10.1007/978-3-030-43520-2\_1},
timestamp = {Wed, 01 Apr 2020 16:27:12 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/AlpayJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/GalatosJ20,
author = {Nikolaos Galatos and
Peter Jipsen},
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Weakening Relation Algebras and FL\({}^{\mbox{2}}\)-algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
pages = {117--133},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2\_8},
doi = {10.1007/978-3-030-43520-2\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/GalatosJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2020,
editor = {Uli Fahrenberg and
Peter Jipsen and
Michael Winter},
title = {Relational and Algebraic Methods in Computer Science - 18th International
Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings
[postponed]},
series = {Lecture Notes in Computer Science},
volume = {12062},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-43520-2},
doi = {10.1007/978-3-030-43520-2},
isbn = {978-3-030-43519-6},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GrecoJMPT19,
author = {Giuseppe Greco and
Peter Jipsen and
Krishna Manoorkar and
Alessandra Palmigiano and
Apostolos Tzimoulis},
editor = {Md. Aquil Khan and
Amaldev Manuel},
title = {Logics for Rough Concept Analysis},
booktitle = {Logic and Its Applications - 8th Indian Conference, {ICLA} 2019, Delhi,
India, March 1-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11600},
pages = {144--159},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-58771-3\_14},
doi = {10.1007/978-3-662-58771-3\_14},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icla/GrecoJMPT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/AlexanderJU18,
author = {Sarah Alexander and
Peter Jipsen and
Nadiya Upegui},
editor = {Jules Desharnais and
Walter Guttmann and
Stef Joosten},
title = {On the Structure of Generalized Effect Algebras and Separation Algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 17th International
Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
November 1, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11194},
pages = {148--165},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02149-8\_10},
doi = {10.1007/978-3-030-02149-8\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/AlexanderJU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07149,
author = {Giuseppe Greco and
Peter Jipsen and
Krishna Manoorkar and
Alessandra Palmigiano and
Apostolos Tzimoulis},
title = {Logics for Rough Concept Analysis},
journal = {CoRR},
volume = {abs/1811.07149},
year = {2018},
url = {http://arxiv.org/abs/1811.07149},
eprinttype = {arXiv},
eprint = {1811.07149},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-07149.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndrekaGJN17,
author = {Hajnal Andr{\'{e}}ka and
Steven Givant and
Peter Jipsen and
Istv{\'{a}}n N{\'{e}}meti},
title = {On Tarski's Axiomatic Foundations of the Calculus of Relations},
journal = {J. Symb. Log.},
volume = {82},
number = {3},
pages = {966--994},
year = {2017},
url = {https://doi.org/10.1017/jsl.2016.32},
doi = {10.1017/JSL.2016.32},
timestamp = {Tue, 26 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndrekaGJN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Jipsen17,
author = {Peter Jipsen},
title = {On generalized hoops, homomorphic images of residuated lattices, and
(G)BL-algebras},
journal = {Soft Comput.},
volume = {21},
number = {1},
pages = {17--27},
year = {2017},
url = {https://doi.org/10.1007/s00500-016-2345-1},
doi = {10.1007/S00500-016-2345-1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/Jipsen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen17,
author = {Peter Jipsen},
editor = {Peter H{\"{o}}fner and
Damien Pous and
Georg Struth},
title = {Relation Algebras, Idempotent Semirings and Generalized Bunched Implication
Algebras},
booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10226},
pages = {144--158},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57418-9\_9},
doi = {10.1007/978-3-319-57418-9\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-07063,
author = {Peter Jipsen and
Tadeusz Litak},
title = {An Algebraic Glimpse at Bunched Implications and Separation Logic},
journal = {CoRR},
volume = {abs/1709.07063},
year = {2017},
url = {http://arxiv.org/abs/1709.07063},
eprinttype = {arXiv},
eprint = {1709.07063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-07063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HofnerJKM16,
author = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Relational and algebraic methods in computer science},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {447--448},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2016.02.003},
doi = {10.1016/J.JLAMP.2016.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HofnerJKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JipsenM16,
author = {Peter Jipsen and
M. Andrew Moshier},
title = {Concurrent Kleene algebra with tests and branching automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {4},
pages = {637--652},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.005},
doi = {10.1016/J.JLAMP.2015.12.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/JipsenM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen14,
author = {Peter Jipsen},
editor = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Concurrent Kleene Algebra with Tests},
booktitle = {Relational and Algebraic Methods in Computer Science - 14th International
Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
pages = {37--48},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06251-8\_3},
doi = {10.1007/978-3-319-06251-8\_3},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2014,
editor = {Peter H{\"{o}}fner and
Peter Jipsen and
Wolfram Kahl and
Martin Eric M{\"{u}}ller},
title = {Relational and Algebraic Methods in Computer Science - 14th International
Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8428},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06251-8},
doi = {10.1007/978-3-319-06251-8},
isbn = {978-3-319-06250-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/JipsenLP13,
author = {Peter Jipsen and
Antonio Ledda and
Francesco Paoli},
title = {On some properties of quasi-MV algebras and {\(\surd\)}' quasi-MV
algebras. Part {IV}},
journal = {Reports Math. Log.},
volume = {48},
pages = {3--36},
year = {2013},
url = {https://rml.tcs.uj.edu.pl/rml-48/1-paoli.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/JipsenLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacl/Jipsen13,
author = {Peter Jipsen},
editor = {Nikolaos Galatos and
Alexander Kurz and
Constantine Tsinakis},
title = {Basic Logic, {SMT} solvers and finitely generated varieties of GBL-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 = {113--119},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/nptc},
doi = {10.29007/NPTC},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacl/Jipsen13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GalatosJO12,
author = {Nikolaos Galatos and
Peter Jipsen and
Hiroakira Ono},
title = {Preface},
journal = {Stud Logica},
volume = {100},
number = {6},
pages = {1059--1062},
year = {2012},
url = {https://doi.org/10.1007/s11225-012-9461-4},
doi = {10.1007/S11225-012-9461-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GalatosJO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen12,
author = {Peter Jipsen},
editor = {Wolfram Kahl and
Timothy G. Griffin},
title = {Categories of Algebraic Contexts Equivalent to Idempotent Semirings
and Domain Semirings},
booktitle = {Relational and Algebraic Methods in Computer Science - 13th International
Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7560},
pages = {195--206},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33314-9\_13},
doi = {10.1007/978-3-642-33314-9\_13},
timestamp = {Wed, 15 Dec 2021 11:04:21 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Jipsen09,
author = {Peter Jipsen},
title = {Generalizations of Boolean products for lattice-ordered algebras},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {2},
pages = {228--234},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.05.005},
doi = {10.1016/J.APAL.2009.05.005},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Jipsen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/DesharnaisJS09,
author = {Jules Desharnais and
Peter Jipsen and
Georg Struth},
editor = {Rudolf Berghammer and
Ali Jaoua and
Bernhard M{\"{o}}ller},
title = {Domain and Antidomain Semigroups},
booktitle = {Relations and Kleene Algebra in Computer Science, 11th International
Conference on Relational Methods in Computer Science, RelMiCS 2009,
and 6th International Conference on Applications of Kleene Algebra,
{AKA} 2009, Doha, Qatar, November 1-5, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5827},
pages = {73--87},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04639-1\_6},
doi = {10.1007/978-3-642-04639-1\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/DesharnaisJS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/JipsenS08,
author = {Peter Jipsen and
Georg Struth},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {The Structure of the One-Generated Free Domain Semiring},
booktitle = {Relations and Kleene Algebra in Computer Science, 10th International
Conference on Relational Methods in Computer Science, and 5th International
Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenw{\"{o}}rth,
Germany, April 7-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4988},
pages = {234--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78913-0\_18},
doi = {10.1007/978-3-540-78913-0\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/JipsenS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/JipsenK04,
author = {Peter Jipsen and
Andrzej Kisielewicz},
title = {Minimal Expansions of Semilattices},
journal = {Int. J. Algebra Comput.},
volume = {14},
number = {4},
pages = {465--477},
year = {2004},
url = {https://doi.org/10.1142/S0218196704001852},
doi = {10.1142/S0218196704001852},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/JipsenK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Jipsen04,
author = {Peter Jipsen},
title = {From Semirings to Residuated Kleene Lattices},
journal = {Stud Logica},
volume = {76},
number = {2},
pages = {291--303},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000032089.54776.63},
doi = {10.1023/B:STUD.0000032089.54776.63},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Jipsen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BelardinelliJO04,
author = {Francesco Belardinelli and
Peter Jipsen and
Hiroakira Ono},
title = {Algebraic Aspects of Cut Elimination},
journal = {Stud Logica},
volume = {77},
number = {2},
pages = {209--240},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000037127.15182.2a},
doi = {10.1023/B:STUD.0000037127.15182.2A},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/BelardinelliJO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen03,
author = {Peter Jipsen},
editor = {Rudolf Berghammer and
Bernhard M{\"{o}}ller and
Georg Struth},
title = {A Note on Complex Algebras of Semigroups},
booktitle = {Relational and Kleene-Algebraic Methods in Computer Science: 7th International
Seminar on Relational Methods in Computer Science and 2nd International
Workshop on Applications of Kleene Algebra, Bad Malente, Germany,
May 12-17, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3051},
pages = {171--177},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24771-5\_15},
doi = {10.1007/978-3-540-24771-5\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JipsenPR01,
author = {Peter Jipsen and
Alexander Pinus and
Henry Rose},
title = {Rudin-Keisler Posets of Complete Boolean Algebras},
journal = {Math. Log. Q.},
volume = {47},
number = {4},
pages = {447--454},
year = {2001},
url = {https://doi.org/10.1002/1521-3870(200111)47:4\&\#60;447::AID-MALQ447\&\#62;3.0.CO;2-W},
doi = {10.1002/1521-3870(200111)47:4\&\#60;447::AID-MALQ447\&\#62;3.0.CO;2-W},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JipsenPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen00,
author = {Peter Jipsen},
editor = {Jules Desharnais},
title = {Some Results about Complex Algebras of Algebras},
booktitle = {Participants Copies of Fifth International Seminar on Relational Methods
in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
pages = {151--156},
year = {2000},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JipsenR99,
author = {Peter Jipsen and
Henry Rose},
title = {Partition Complete Boolean Algebras and Almost Compact Cardinals},
journal = {Math. Log. Q.},
volume = {45},
pages = {241--255},
year = {1999},
url = {https://doi.org/10.1002/malq.19990450208},
doi = {10.1002/MALQ.19990450208},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JipsenR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Jipsen98,
author = {Peter Jipsen},
editor = {Ewa Orlowska and
Andrzej Szalas},
title = {Sequential Q-algebras},
booktitle = {Participants Copies for Relational Methods in Logic, Algebra and Computer
Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber
14-20, 1998},
pages = {112--116},
year = {1998},
timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
biburl = {https://dblp.org/rec/conf/RelMiCS/Jipsen98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JipsenM97,
author = {Peter Jipsen and
Roger D. Maddux},
title = {Nonrepresentable Sequential Algebras},
journal = {Log. J. {IGPL}},
volume = {5},
number = {4},
pages = {565--574},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.4.565},
doi = {10.1093/JIGPAL/5.4.565},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JipsenM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/AldredEHJ97,
author = {Robert E. L. Aldred and
Mark N. Ellingham and
Robert L. Hemminger and
Peter Jipsen},
title = {\emph{P}\({}_{\mbox{3}}\)-isomorphisms for graphs},
journal = {J. Graph Theory},
volume = {26},
number = {1},
pages = {35--51},
year = {1997},
url = {https://doi.org/10.1002/(SICI)1097-0118(199709)26:1\&\#60;35::AID-JGT5\&\#62;3.0.CO;2-I},
doi = {10.1002/(SICI)1097-0118(199709)26:1\&\#60;35::AID-JGT5\&\#62;3.0.CO;2-I},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgt/AldredEHJ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/97/JipsenB097,
author = {Peter Jipsen and
Chris Brink and
Gunther Schmidt},
editor = {Chris Brink and
Wolfram Kahl and
Gunther Schmidt},
title = {Background Material},
booktitle = {Relational Methods in Computer Science},
series = {Advances in computing science},
pages = {1--21},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/978-3-7091-6510-2\_1},
doi = {10.1007/978-3-7091-6510-2\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/97/JipsenB097.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:16 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:
