?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
1
Minimisation in Logical Form:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
2