"On the Semantics and Automated Deduction for PLFC, a Logic of ..."

Teresa Alsinet, Lluís Godo, Sandra A. Sandri (2013)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2020-06-05

a service of  Schloss Dagstuhl - Leibniz Center for Informatics