Pages that link to "Item:Q3455775"
From MaRDI portal
The following pages link to Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775):
Displaying 4 items.
- Elimination problems in logic: a brief history (Q1024114) (← links)
- Fusion in relational structures and the verification of monadic second-order properties (Q3146251) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- (Q4250040) (← links)