W. E. Singletary

Available identifiers

zbMath Open singletary.w-eMaRDI QIDQ1220501

List of research outcomes

Publication	Date of Publication	Type
The one-one equivalence of some general combinatorial decision problems	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130949	1976-01-01	Paper
Triadic partial implicational propositional calculi	1975-01-01	Paper
Combinatorial systems defined over one- and two-letter alphabets	1975-01-01	Paper
Many-one degrees associated with partial propositional calculi	1974-01-01	Paper
Tutor - a Turing machine simulator	1973-01-01	Paper
Combinatorial systems with axiom	1973-01-01	Paper
Combinatorial systems with axiom	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639688	1972-01-01	Paper
The many-one equivalence of some general combinatorial decision problems	1971-01-01	Paper
Decision problems associated with complete deterministic normal systems	1969-01-01	Paper
On deterministic normal systems	1969-01-01	Paper
Results regarding the axiomatization of partial propositional calculi	1968-01-01	Paper
Connectedness-equivalent spaces on the line	1968-01-01	Paper
The post correspondence problem	1968-01-01	Paper
Degrees of Unsolvability in Formal Grammars	1968-01-01	Paper
A note on finite axiomatization of partial propositional calculi	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5552754	1967-01-01	Paper
The equivalence of some general combinatorial decision problems	1967-01-01	Paper
A complex of problems proposed by Post	1964-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: W. E. Singletary