Mario Román

Search

Quotient transition system

Last updated Oct 4, 2022

quotient-transition-system

Made by Mario Román using Quartz and Obsidian, CC BY-SA 2023 (How to cite)

Home
ArXiv
Github