"Extensions of ordered theories by generic predicates."

Alfred Dolich, Chris Miller, Charles Steinhorn (2013)

Details and statistics

DOI: 10.2178/JSL.7802020

access: closed

type: Journal Article

metadata version: 2022-09-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics