Stål Aanderaa

Available identifiers

zbMath Open aanderaa.stal-oDBLP79/4900WikidataQ7629924 ScholiaQ7629924MaRDI QIDQ3177722

List of research outcomes

Publication	Date of Publication	Type
Search for good examples of Hall’s conjecture	2018-08-01	Paper
A Preliminary Report on Search for Good Examples of Hall's Conjecture	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4283225	1994-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4283224	1993-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3693501	1984-01-01	Paper
Conservative reduction classes of Krom formulas	1982-01-01	Paper
Prefix classes of krom formulae with identity	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3889258	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3882632	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3866091	1979-01-01	Paper
Linear sampling and the ∀∃∀ case of the decision problem	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4077448	1974-01-01	Paper
Prefix classes of Krom formulas	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4060953	1974-01-01	Paper
The finite controllability of the Maslov case	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5682484	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639707	1971-01-01	Paper
Decision problems for tag systems	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638290	1971-01-01	Paper
On the Minimum Computation Time of Functions	1969-01-01	Paper
The Solvability of the Halting Problem for 2-State Post Machines	1967-01-01	Paper
Herbrand analyzing functions	1964-01-01	Paper
False lemmas in Herbrand	1963-01-01	Paper

Research outcomes over time

This page was built for person: Stål Aanderaa