I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Algorithmic Correspondence for Relevance Logics, Bunched Im..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,
Conradie, Willem ; Goranko, Valentin ; Jipsen, Peter - p. 126-143 , 2021
Link: https://doi.org/10.1007/978-3-030-88701-8_8