Pages that link to "Item:Q5413875"

The following pages link to Effective optimization with weighted automata on decomposable trees (Q5413875):

Displaying 2 items.

• A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
• A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180) (← links)