Allen Reiter

Available identifiers

zbMath Open reiter.allenMaRDI QIDQ1393274

List of research outcomes

Publication	Date of Publication	Type
A branch-and-bound algorithm to obtain an optimal evaluation tree for monotonic Boolean functions	1975-01-01	Paper
Algorithms for fast evaluation of Boolean expressions	1974-01-01	Paper
A resource‐oriented time‐sharing monitor	1972-01-01	Paper
Some measure-theoretic aspects of range-equivalence	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5558548	1967-01-01	Paper
Numerical computation of nonlinear forced oscillations by Galerkin's procedure	1966-01-01	Paper

Research outcomes over time

This page was built for person: Allen Reiter