Wilson E. Singletary

According to our database1, Wilson E. Singletary authored at least 9 papers between 1967 and 1977.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1977
The one-one equivalence of some general combinatorial decision problems.
Notre Dame J. Formal Log., 1977

1975
Combinatorial systems defined over one- and two-letter alphabets.
Arch. Math. Log., 1975

1974
Many-one degrees associated with partial propositional calculi.
Notre Dame J. Formal Log., 1974

1973
Combinatorial systems with axiom.
Notre Dame J. Formal Log., 1973

Tutor - A Turing machine simulator.
Inf. Sci., 1973

1968
Results regarding the axiomatization of partial propositional calculi.
Notre Dame J. Formal Log., 1968

The Post Correspondence Problem.
J. Symb. Log., 1968

Degrees of Unsolvability in Formal Grammars.
J. ACM, 1968

1967
A Note on Finite Axiomatization of Partial Propositional Calculi.
J. Symb. Log., 1967


  Loading...