James W. Thatcher

Available identifiers

zbMath Open thatcher.james-wMaRDI QIDQ790234

List of research outcomes

Publication	Date of Publication	Type
Data type specification	2014-03-14	Paper
Transformations and translations from the point of view of generalized finite automata theory	2014-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q3777431	1985-01-01	Paper
Parameter passing in algebraic specification languages	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3667933	1983-01-01	Paper
Recursion and iteration in continuous theories: the M-construction	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/Q4199499	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851612	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
https://portal.mardi4nfdi.de/entity/Q4138103	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063610	1975-01-01	Paper
What Is a Multilevel Array?	1975-01-01	Paper
Generalized sequential machine maps	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5643970	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5643969	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

This page was built for person: James W. Thatcher