scientific article; zbMATH DE number 6988090
From MaRDI portal
Publication:4559476
DOI10.4230/LIPIcs.CSL.2018.0zbMath1402.68019MaRDI QIDQ4559476
No author found.
Publication date: 3 December 2018
Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol119-csl2018-complete.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (3)
Composing dinatural transformations: towards a calculus of substitution ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Infinitary action logic with exponentiation
This page was built for publication:
