Mario Román

Search

Buchi monoidal streams

Last updated Jan 14, 2023

Missing image

Tags: Buchi automata

Backlinks

Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Interactive Graph

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

Home
ArXiv
Github