Publications

Quasi-bisimulation: a new paradigm for the strict implication language

Publication Type:

Conference Paper

Authors:

Fèlix Bou

Source:

Volume of abstracts. 12th International Congress of Logic, Methodology and Philosophy of Science (Oviedo, August 7--13, 2003), p.82--83 (2003)