Advanced search
Advanced search in people
Algebra universalis > 2018 > 79 > 4 > 1-16
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Formal Aspects of Diagrams > 84-98
Journal on Data Semantics > 2014 > 3 > 1 > 25-46
Annals of Pure and Applied Logic > 2013 > 164 > 9 > 884-906
Algebra universalis > 2012 > 68 > 3-4 > 257-285
Journal of Logic, Language and Information > 2004 > 13 > 3 > 241-266
Studia Logica > 2002 > 72 > 2 > 265-284
Studia Logica > 1999 > 62 > 2 > 177-200
Annals of Pure and Applied Logic > 1997 > 89 > 2-3 > 149-209
Annals of Pure and Applied Logic > 1997 > 89 > 2-3 > 211-229