Skip to content

A Complete Axiomatisation of a Fragment of Language Algebra.

Paul Brunet

VenueBCSL
Year2020
ProceedingsCSL

Browse the full CSL paper archive.