Switch to: Citations

References in:

An environment for specifying properties of dyadic relations and reasoning about them II: relational presentation of non-classical logics

In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 89--104 (2006)

Add references

You must login to add references.

No references yet.