James W. Thatcher

Available identifiers

zbMath Open thatcher.james-wMaRDI QIDQ790234

List of research outcomes

Publication	Date of Publication	Type
Transformations and translations from the point of view of generalized finite automata theory	2014-03-14	Paper
Data type specification	2014-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3777431	1985-01-01	Paper
Parameter passing in algebraic specification languages	1984-01-01	Paper
Recursion and iteration in continuous theories: the M-construction	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3667933	1983-01-01	Paper
Data Type Specification: Parameterization and the Power of Specification Techniques	1982-01-01	Paper
More on advice on structuring compilers and proving them correct	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3906461	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851612	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4199499	1979-01-01	Paper
A uniform approach to inductive posets and inductive closure	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4176939	1978-01-01	Paper
Initial Algebra Semantics and Continuous Algebras	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4149772	1977-01-01	Paper
Parallel realization of systems, using factorizations and quotients in categories	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4134935	1976-01-01	Paper
What Is a Multilevel Array?	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063610	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138103	1975-01-01	Paper
Generalized sequential machine maps	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5643969	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5643970	1970-01-01	Paper
Generalized finite automata theory with an application to a decision problem of second-order logic	1968-01-01	Paper
Generalized finite automata theory with an application to a decision problem of second-order logic	1968-01-01	Paper
Characterizing derivation trees of context-free grammars through a generalization of finite automata theory	1967-01-01	Paper
Decision problems for multiple successor arithmetics	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5725994	1963-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James W. Thatcher