Relational and Algebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 20)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030435196, 9783030435202
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stone Dualities from Opfibrations

2020 ◽  
pp. 221-236
Author(s):  
Koki Nishizawa ◽  
Shin-ya Katsumata ◽  
Yuichi Komorida

scholarly journals Weakening Relation Algebras and FL$$^2$$-algebras

2020 ◽  
pp. 117-133
Author(s):  
Nikolaos Galatos ◽  
Peter Jipsen
Keyword(s):  
Relation Algebras

scholarly journals Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

2020 ◽  
pp. 302-317
Author(s):  
Lucca Tiemens ◽  
Dana S. Scott ◽  
Christoph Benzmüller ◽  
Miroslav Benda

scholarly journals The $$\theta $$-Join as a Join with $$\theta $$

2020 ◽  
pp. 47-64
Author(s):  
Jules Desharnais ◽  
Bernhard Möller

scholarly journals Generating Posets Beyond N

2020 ◽  
pp. 82-99
Author(s):  
Uli Fahrenberg ◽  
Christian Johansen ◽  
Georg Struth ◽  
Ratan Bahadur Thapa
Load More ...
Sign in / Sign up

Export Citation Format

Share Document