Pages that link to "Item:Q1093367"

The following pages link to William P. R. Mitchell (Q1093367):

Displaying 8 items.

• Inductive completion with retracts (Q1093368) (← links)
• Monoid based semantics for linear formulas (corrected republication) (Q3149979) (← links)
• Triple Points of Immersed Orientable 2<i>n</i> -Manifolds in 3<i>n</i> -Space (Q3777091) (← links)
• SPLITTING ∑(C<i>P</i>^∞ × C<i>P</i>^∞) LOCALIZED AT 2 (Q3803838) (← links)
• Expressiveness for Highly Nested Expressions in Linear Temporal Logic (Q4304494) (← links)
• Monoid based semantics for linear formulas (Q4328823) (← links)
• The Carcinogenic Example (Q4372853) (← links)
• Modal Logic and Equality for Process Algebra (Q4870069) (← links)