Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Autor is K. Sasaki  [Clear All Filters]
2004
Bou F.  2004.  Strict implication logics (e.g., intuitionistic propositional logic) correspond to removing symmetry from bisimilarity. Proceedings of the 38th MLG Meeting at Gamagori, Japan 2004. October 24-26, 2004. :38–40.