×

Found 18 Documents (Results 1–18)

Subordination algebras as semantic environment of input/output logic. (English) Zbl 1521.03032

Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 326-343 (2022).
MSC:  03B45
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software