Pages that link to "Item:Q5217295"

The following pages link to A Nivat Theorem for Quantitative Automata on Unranked Trees (Q5217295):

Displaying 2 items.

• Decomposition and factorization of chemical reaction transducers (Q2422041) (← links)
• A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852) (← links)