W. E. Singletary

Available identifiers

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
Combinatorial systems defined over one- and two-letter alphabets	1975-01-01	Paper
Triadic partial implicational propositional calculi	1975-01-01	Paper
Many-one degrees associated with partial propositional calculi	1974-01-01	Paper
Combinatorial systems with axiom	1973-01-01	Paper
Tutor - a Turing machine simulator	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
Connectedness-equivalent spaces on the line	1968-01-01	Paper
Degrees of Unsolvability in Formal Grammars	1968-01-01	Paper
Results regarding the axiomatization of partial propositional calculi	1968-01-01	Paper
The post correspondence problem	1968-01-01	Paper
A note on finite axiomatization of partial propositional calculi	1967-01-01	Paper
The equivalence of some general combinatorial decision problems	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5552754	1967-01-01	Paper
A complex of problems proposed by Post	1964-01-01	Paper

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