Infectious Semantics and Analytic Calculi for Even More Inclusion Logics

AuthID
 P-00T-D3Z
3
Author(s)
Marcelino, S
·
Filipe, P
Document Type
Proceedings Paper
Year published
2020
Published
in 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020 in ISMVL
Pages: 224-229
Indexing
Dblp®/en/publications/view/865407
Publication Identifiers
Dblp: conf/ismvl/CaleiroMF20
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service