Pages that link to "Item:Q770742"
From MaRDI portal
The following pages link to Quantifier elimination in a problem of logical design (Q770742):
Displaying 6 items.
- Calvin C. Elgot (1922-1980) (Q788706) (← links)
- In memoriam Calvin C. Elgot (Q1154455) (← links)
- Sets recognized by n-tape automata (Q2542993) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- Decision Problems of Finite Automata Design and Related Arithmetics (Q3848195) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
