Stål Aanderaa

MaRDI QIDQ3177722zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Search for good examples of Hall’s conjecture Mathematics of Computation	2018-08-01	Paper
A Preliminary Report on Search for Good Examples of Hall's Conjecture	2014-01-17	Paper
A Preliminary Report on Search for Good Examples of Hall's Conjecture (available as arXiv preprint)	2014-01-01	Paper
scientific article; zbMATH DE number 515724 (Why is no real title available?)	1994-06-02	Paper
scientific article; zbMATH DE number 515723 (Why is no real title available?)	1993-01-01	Paper
scientific article; zbMATH DE number 3918329 (Why is no real title available?)	1984-01-01	Paper
Conservative reduction classes of Krom formulas Journal of Symbolic Logic	1982-01-01	Paper
Prefix classes of krom formulae with identity Archiv für mathematische Logik und Grundlagenforschung	1982-01-01	Paper
scientific article; zbMATH DE number 3687624 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3695455 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3668579 (Why is no real title available?)	1979-01-01	Paper
Linear sampling and the ∀∃∀ case of the decision problem Journal of Symbolic Logic	1974-01-01	Paper
scientific article; zbMATH DE number 3477148 (Why is no real title available?)	1974-01-01	Paper
The finite controllability of the Maslov case Journal of Symbolic Logic	1974-01-01	Paper
scientific article; zbMATH DE number 3495593 (Why is no real title available?)	1974-01-01	Paper
Prefix classes of Krom formulas Journal of Symbolic Logic	1974-01-01	Paper
scientific article; zbMATH DE number 3417684 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3365225 (Why is no real title available?)	1971-01-01	Paper
scientific article; zbMATH DE number 3366917 (Why is no real title available?)	1971-01-01	Paper
Decision problems for tag systems Journal of Symbolic Logic	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 Journal of the ACM	1967-01-01	Paper
Herbrand analyzing functions Bulletin of the American Mathematical Society	1964-01-01	Paper
False lemmas in Herbrand Bulletin of the American Mathematical Society	1963-01-01	Paper

Research outcomes over time

This page was built for person: Stål Aanderaa