C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Multi-type Display Calculus for Semi De Morgan Logic.
Giuseppe Greco
Fei Liang
M. Andrew Moshier
Alessandra Palmigiano
Published in:
WoLLIC (2017)
Keyphrases
</>
multi type
relational data
computer algebra
natural deduction
data objects
formal language
proof procedure
reverse nearest neighbor
cost model
modal logic
sequent calculus
multiple types
multi dimensional
data sets
data management
information extraction
knn
data structure