×

Found 86 Documents (Results 1–86)

100
MathJax

Proper multi-type display calculi for rough algebras. (English) Zbl 1434.03147

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 101-118 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Formalization of universal algebra in Agda. (English) Zbl 1433.68578

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 147-166 (2018).
MSC:  68V20 03C05 68V15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software