Search alternatives:
"logician" » "logicians", "logiciel"
"logica" » "logics"
"logical" » "logicsl"
Cover Image
Read Now

1
Published 2024
Springer Nature Switzerland
Table of Contents: “... Approach to Coalgebraic Fixpoint Logic -- Preorder-Constrained Simulations for Program Refinement...”