Peter Jipsen

Relational and Algebraic Methods in Computer Science: 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

2014 · ENGLISH · PDF

View details →

Relational Methods in Computer Science

1997 · ENGLISH · PDF

View details →

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

2007 · ENGLISH · PDF

View details →

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

2007 · ENGLISH · DJVU

View details →

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

2007 · ENGLISH · DJVU

View details →

Residuated lattices: An algebraic glimpse at substructural logics

2007 · ENGLISH · PDF

View details →

Varieties of Lattices

1992 · ENGLISH · PDF

View details →

Varieties of lattices

1992 · ENGLISH · PDF

View details →

Varieties of Lattices

1992 · ENGLISH · DJVU

View details →