Keyword:expression

Publications
Axiomatical Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint 6192