Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Autor is L. Villamil  [Clear All Filters]
2003
Bou F.  2003.  Quasi-bisimulation: a new paradigm for the strict implication language. Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, August 7–13, 2003). :82–83.