Skip to content

A General Completeness Theorem for Skip-Free Star Algebras.

Tobias Kapp, Todd Schmid

Year2025
ProceedingsFoSSaCS

Browse the full FOSSACS paper archive.