Charles E. Hughes

zbMath Openhughes.charles-eMaRDI QIDQ754188

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The caracol time travel project The Journal of Visualization \& Computer Animation	2002-05-21	Paper
Intelligent backtracking in \(\text{CLP}(\Re)\) Annals of Mathematics and Artificial Intelligence	1998-03-29	Paper
The finite power property for context-free languages Theoretical Computer Science	1981-01-01	Paper
Word problems for bidirectional single-premise Post systems Notre Dame Journal of Formal Logic	1980-01-01	Paper
Derivatives and quotients of prefix-free context-free languages Information and Control	1980-01-01	Paper
The equivalence of vector addition systems to a subclass of Post canonical systems Information Processing Letters	1978-01-01	Paper
scientific article; zbMATH DE number 3607474 (Why is no real title available?)	1978-01-01	Paper
The one-one equivalence of some general combinatorial decision problems Notre Dame Journal of Formal Logic	1977-01-01	Paper
A reduction class containing formulas with one monadic predicate and one binary function symbol Journal of Symbolic Logic	1976-01-01	Paper
Two variable implicational calculi of prescribed many-one degrees of unsolvability Journal of Symbolic Logic	1976-01-01	Paper
scientific article; zbMATH DE number 3535589 (Why is no real title available?)	1976-01-01	Paper
Combinatorial systems defined over one- and two-letter alphabets Archiv für Mathematische Logik und Grundlagenforschung	1975-01-01	Paper
The general decision problem for Markov algorithms with axiom Notre Dame Journal of Formal Logic	1975-01-01	Paper
Triadic partial implicational propositional calculi Mathematical Logic Quarterly	1975-01-01	Paper
Sets derived by deterministic systems with axiom Mathematical Logic Quarterly	1975-01-01	Paper
scientific article; zbMATH DE number 3526272 (Why is no real title available?)	1975-01-01	Paper
Single premise Post canonical forms defined over one-letter alphabets Journal of Symbolic Logic	1974-01-01	Paper
Combinatorial systems with axiom Notre Dame Journal of Formal Logic	1973-01-01	Paper
Many-one degrees associated with semi-Thue systems Journal of Computer and System Sciences	1973-01-01	Paper
Many-one degrees associated with problems of tag Journal of Symbolic Logic	1973-01-01	Paper
Combinatorial systems with axiom Notre Dame Journal of Formal Logic	1973-01-01	Paper
Degrees of unsolvability associated with Markov algorithms International Journal of Computer & Information Sciences	1972-01-01	Paper
The many-one equivalence of some general combinatorial decision problems Bulletin of the American Mathematical Society	1971-01-01	Paper

Research outcomes over time

This page was built for person: Charles E. Hughes