William Craig - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2025

On the Asymptotic Behavior for Partitions Separated by ParityKathrin Bringmann, William Craig, Caner Nazaroglu. combinatorics, 32(1), 2025. [doi]

Distribution of hooks in self-conjugate partitionsWilliam Craig, Ken Ono, Ajit Singh. DM, 348(10):114563, 2025. [doi]

2023

Multimodal Deep Learning for Pediatric Mild Traumatic Brain Injury DetectionBadhan Mazumder, Deepan Krishna Tripathy, Keith Owen Yeates, Miriam H. Beauchamp, William Craig, Quynh Doan, Stephen B. Freedman, Catherine Lebel, Roger Zemek, Ashley L. Ware, Dong Hye Ye. bhi 2023: 1-4 [doi]

2014

Peter van Inwagen, Substitutional Quantification, and Ontological CommitmentWilliam Craig. ndjfl, 55(4):553-561, 2014. [doi]

2008

The road to two theorems of logicWilliam Craig. synthese, 164(3):333-339, 2008. [doi]

Elimination problems in logic: a brief historyWilliam Craig. synthese, 164(3):321-332, 2008. [doi]

1989

Near-Equational and Equational Systems of Logic for Partial Functions IIWilliam Craig. JSYML, 54(4):1181-1215, 1989.

Near-Equational and Equational Systems of Logic for Partial Functions IWilliam Craig. JSYML, 54(3):795-827, 1989.

1988

A System of Logic for Partial Functions Under Existence-Dependent Kleene EqualityHajnal Andréka, William Craig, István Németi. JSYML, 53(3):834-839, 1988.

1965

Satisfaction for n-th Order Languages Defined in n-th Order LanguagesWilliam Craig. JSYML, 30(1):13-25, 1965.

1960

Bases for First-Order Theories and SubtheoriesWilliam Craig. JSYML, 25(2):97-142, 1960.

1958

Finite Axiomatizability Using Additional PredicatesWilliam Craig, Robert L. Vaught. JSYML, 23(3):289-308, 1958.

1957

Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof TheoryWilliam Craig. JSYML, 22(3):269-285, 1957.

Linear Reasoning. A New Form of the Herbrand-Gentzen TheoremWilliam Craig. JSYML, 22(3):250-268, 1957.

1955

Eighteenth Meeting of the Association for Symbolic LogicWilliam Craig. JSYML, 20(2):200-206, 1955.

1953

On Axiomatizability Within a SystemWilliam Craig. JSYML, 18(1):30-32, 1953.

1952

On Reduction to a Symmetric RelationWilliam Craig, W. V. Quine. JSYML, 17(3):188, 1952.

Sign in or sign up to see more results.

runs on WebDSL