A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
Project: VERLAN
Updated at: 01-12-2024
Show more
information
Project acronym
VERLAN