Kenneth McAloon

Available identifiers

zbMath Open mcaloon.kennethMaRDI QIDQ581399

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4967707	2019-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4944861	2000-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4377041	1998-02-08	Paper
Logic, modeling, and programming	1997-11-26	Paper
Computational complexity and constraint logic programming languages	1997-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4331789	1997-02-06	Paper
A note on the parallel complexity of anti-unification	1993-12-20	Paper
A canonical form for generalized linear constraints	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3476799	1990-01-01	Paper
Stratification and knowledge base management	1989-01-01	Paper
Independent Statements about Finite Stretchable Structures	1988-01-01	Paper
On Gödel incompleteness and finite combinatorics	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3778734	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3717036	1985-01-01	Paper
Petri nets and large finite sets	1984-01-01	Paper
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic	1983-01-01	Paper
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3043148	1982-01-01	Paper
On the complexity of models of arithmetic	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3671967	1982-01-01	Paper
Indicators, recursive saturation and expandability	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3962993	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912791	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912792	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3037422	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3205227	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3050421	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907560	1978-01-01	Paper
Completeness Theorems, Incompleteness Theorems and Models of Arithmetic	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3874194	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063136	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4100087	1975-01-01	Paper
On the sequence of models $HOD_n$	1974-01-01	Paper
Forcing and generalized quantifiers	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4067291	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5622186	1971-01-01	Paper
Consistency results about ordinal definability	1971-01-01	Paper

Research outcomes over time

This page was built for person: Kenneth McAloon