"Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic ..."

Paolo Torrini, John G. Stell, Brandon Bennett (2002)

Details and statistics

DOI: 10.3166/JANCL.12.495-525

access: closed

type: Journal Article

metadata version: 2020-12-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics