N. Martí-Oliet (martioliet)

Contributions to Philosophie.ch

Bibliography

Martı́-Oliet, N. and Meseguer, José. 1994. “General Logics and Logical Frameworks.” in What is a Logical System?, edited by Dov M. Gabbay, pp. 355–392. Oxford: Oxford University Press.
Martı́-Oliet, N. and Meseguer, José. 2002. “Rewriting Logic as a Logical and Semantic Framework.” in Handbook of Philosophical Logic, Volume IX, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–88. Dordrecht: Springer.