Pages that link to "Item:Q4163514"

The following pages link to Some observations on Uniform Reduction for properties invariant on the range of definable relations (Q4163514):

Displaying 2 items.

• Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
• A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)