Pages that link to "Item:Q3048805"

The following pages link to Some Graph Theoretical Operations and Decidability (Q3048805):

Displaying 2 items.

• Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
• The structure of the models of decidable monadic theories of graphs (Q810005) (← links)