The following pages link to James W. Thatcher (Q790234):
Displaying 30 items.
- Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
- A uniform approach to inductive posets and inductive closure (Q809105) (← links)
- (Q1056224) (redirect page) (← links)
- Parameter passing in algebraic specification languages (Q1056226) (← links)
- More on advice on structuring compilers and proving them correct (Q1156472) (← links)
- (Q1228461) (redirect page) (← links)
- Parallel realization of systems, using factorizations and quotients in categories (Q1228463) (← links)
- Characterizing derivation trees of context-free grammars through a generalization of finite automata theory (Q2526960) (← links)
- Generalized sequential machine maps (Q2540272) (← links)
- (Q3667933) (← links)
- (Q3777431) (← links)
- (Q3851612) (← links)
- (Q3906461) (← links)
- Data Type Specification: Parameterization and the Power of Specification Techniques (Q3959407) (← links)
- What Is a Multilevel Array? (Q4055180) (← links)
- (Q4063610) (← links)
- Initial Algebra Semantics and Continuous Algebras (Q4131619) (← links)
- (Q4134935) (← links)
- (Q4138103) (← links)
- (Q4149772) (← links)
- (Q4176939) (← links)
- (Q4199499) (← links)
- Transformations and translations from the point of view of generalized finite automata theory (Q5402511) (← links)
- Data type specification (Q5402549) (← links)
- Decision problems for multiple successor arithmetics (Q5519896) (← links)
- Generalized finite automata theory with an application to a decision problem of second-order logic (Q5538923) (← links)
- Generalized finite automata theory with an application to a decision problem of second-order logic (Q5592253) (← links)
- (Q5643969) (← links)
- (Q5643970) (← links)
- (Q5725994) (← links)
