Send to Friend
DePara


Send to Friend from IIIA

Semilinear non-associative substructural logics: completeness properties and complexity

Tipo de Publicación:

Conference Paper

Origen:

15th Latin American Symposium on Mathematical Logic, Bogotá, Colombia (En prensa)