Ronald E. Prather

Available identifiers

zbMath Open prather.ronald-eMaRDI QIDQ1236625

List of research outcomes

Publication	Date of Publication	Type
The type structure of CAT	2017-11-17	Paper
Regular Expressions for Program Computations	2002-11-24	Paper
The subprogram problem for software metric design	1997-02-27	Paper
The Path Prefix Software Testing Strategy	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3734317	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3320395	1983-01-01	Paper
Theory of Program Testing-An Overview	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4747489	1982-01-01	Paper
Generating the k-Subsets of an n-Set	1980-01-01	Paper
Realization of Boolean Expressions by Atomic Digraphs	1978-01-01	Paper
Structured turing machines	1977-01-01	Paper
Epimorphisms of free monoids	1976-01-01	Paper
A convenient cryptomorphic version of recursive function theory	1975-01-01	Paper
Polynomial Calculus with D-Like Operators	1975-01-01	Paper
Epimorphisms in certain categories of transducers	1972-01-01	Paper
An Algebraic Proof of the Paull–Unger Theorem	1971-01-01	Paper
On categories of infinite automata	1970-01-01	Paper
Minimal solutions of Paull-Unger problems	1969-01-01	Paper
New Associate Editors and Reviews Editor	1966-01-01	Paper
On Tree Circuits	1965-01-01	Paper
Computational Aids for Determining the Minimal Form of a Truth Function	1960-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: Ronald E. Prather