Brian S. Leininger

Available identifiers

zbMath Open leininger.brian-sMaRDI QIDQ1162149

List of research outcomes

Publication	Date of Publication	Type
A note on the complexity of program evaluation	1984-01-01	Paper
On the Simplification and Equivalence Problems for Straight-Line Programs	1983-01-01	Paper
On the zero-inequivalence problem for loop programs	1983-01-01	Paper
On the complexity of simple arithmetic expressions	1982-01-01	Paper
The Complexity of the Equivalence Problem for Simple Loop-Free Programs	1982-01-01	Paper
Straight-Line Programs with One Input Variable	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912020	1981-01-01	Paper
Characterizations of Presburger Functions	1981-01-01	Paper

Research outcomes over time

This page was built for person: Brian S. Leininger