Peter Jipsen
Orcid: 0000-0001-8608-808X
According to our database1,
Peter Jipsen
authored at least 39 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
2
1
1
3
2
1
1
1
3
1
1
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras.
Log. Methods Comput. Sci., 2024
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024
2023
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023
2022
2021
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report).
CoRR, 2021
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2020
2019
Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019
2018
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
2017
Soft Comput., 2017
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017
2016
J. Log. Algebraic Methods Program., 2016
J. Log. Algebraic Methods Program., 2016
2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Reports Math. Log., 2013
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013
2012
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
2009
Ann. Pure Appl. Log., 2009
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009
2008
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008
2004
2003
Proceedings of the 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, 2003
2001
2000
Some Results about Complex Algebras of Algebras.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000
1999
Math. Log. Q., 1999
1998
Sequential Q-algebras.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998
1997
Proceedings of the Relational Methods in Computer Science., 1997