Ronald E. Prather

Available identifiers

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
Polynomial Calculus with D-Like Operators	1975-01-01	Paper
A convenient cryptomorphic version of recursive function theory	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

This page was built for person: Ronald E. Prather