Jesse B. Wright

Available identifiers

zbMath Open wright.jesse-bMaRDI QIDQ770741

List of research outcomes

Publication	Date of Publication	Type
Data type specification	2014-03-14	Paper
Parameter passing in algebraic specification languages	1984-01-01	Paper
Recursion and iteration in continuous theories: the M-construction	1983-01-01	Paper
P-varieties - a signature independent characterization of varieties of ordered algebras	1983-01-01	Paper
Finitary quasi-varieties	1982-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
Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3906461	1980-01-01	Paper
Vector Iteration in Pointed Iterative Theories	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
https://portal.mardi4nfdi.de/entity/Q4063610	1975-01-01	Paper
Characterization of recursively enumerable sets	1972-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
Algebraic automata and context-free sets	1967-01-01	Paper
Automata in general algebras	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5508686	1963-01-01	Paper
Sequence generators, graphs, and formal languages	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5522206	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5508284	1961-01-01	Paper
Quantifier elimination in a problem of logical design	1959-01-01	Paper
Series-parallel graphs and lattices	1959-01-01	Paper
Invariants of the Anti-Automorphisms of a Group	1958-01-01	Paper
Realization of Events by Logical Nets	1958-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5526993	1958-01-01	Paper
The theory of proportionality as an abstraction of group theory	1955-01-01	Paper
Quasi-projective geometry of two dimensions	1954-01-01	Paper
An Analysis of a Logical Machine Using Parenthesis-Free Notation	1954-01-01	Paper
Complete Decoding Nets: General Theory and Minimality	1954-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5527003	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5730442	1953-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: Jesse B. Wright