Kenneth McAloon

From MaRDI portal
Revision as of 09:06, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:581399

Available identifiers

zbMath Open mcaloon.kennethMaRDI QIDQ581399

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49677072019-07-10Paper
https://portal.mardi4nfdi.de/entity/Q49448612000-11-22Paper
https://portal.mardi4nfdi.de/entity/Q43770411998-02-08Paper
Logic, modeling, and programming1997-11-26Paper
Computational complexity and constraint logic programming languages1997-05-13Paper
https://portal.mardi4nfdi.de/entity/Q43317891997-02-06Paper
A note on the parallel complexity of anti-unification1993-12-20Paper
A canonical form for generalized linear constraints1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q34767991990-01-01Paper
Stratification and knowledge base management1989-01-01Paper
Independent Statements about Finite Stretchable Structures1988-01-01Paper
On Gödel incompleteness and finite combinatorics1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37787341986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37170361985-01-01Paper
Petri nets and large finite sets1984-01-01Paper
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic1983-01-01Paper
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30431481982-01-01Paper
On the complexity of models of arithmetic1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36719671982-01-01Paper
Indicators, recursive saturation and expandability1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39629931981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39127911980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39127921980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30374221979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32052271979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30504211978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39075601978-01-01Paper
Completeness Theorems, Incompleteness Theorems and Models of Arithmetic1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38741941977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40631361975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41000871975-01-01Paper
On the sequence of models $HOD_n$1974-01-01Paper
Forcing and generalized quantifiers1973-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40672911972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56221861971-01-01Paper
Consistency results about ordinal definability1971-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Kenneth McAloon