Charles E. Hughes

Available identifiers

zbMath Open hughes.charles-eMaRDI QIDQ754188

List of research outcomes

Publication	Date of Publication	Type
The caracol time travel project	2002-05-21	Paper
Intelligent backtracking in \(\text{CLP}(\Re)\)	1998-03-29	Paper
The finite power property for context-free languages	1981-01-01	Paper
Word problems for bidirectional single-premise Post systems	1980-01-01	Paper
Derivatives and quotients of prefix-free context-free languages	1980-01-01	Paper
The equivalence of vector addition systems to a subclass of Post canonical systems	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4172896	1978-01-01	Paper
The one-one equivalence of some general combinatorial decision problems	1977-01-01	Paper
A reduction class containing formulas with one monadic predicate and one binary function symbol	1976-01-01	Paper
Two variable implicational calculi of prescribed many-one degrees of unsolvability	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4111061	1976-01-01	Paper
Combinatorial systems defined over one- and two-letter alphabets	1975-01-01	Paper
The general decision problem for Markov algorithms with axiom	1975-01-01	Paper
Triadic partial implicational propositional calculi	1975-01-01	Paper
Sets derived by deterministic systems with axiom	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103166	1975-01-01	Paper
Single premise Post canonical forms defined over one-letter alphabets	1974-01-01	Paper
Combinatorial systems with axiom	1973-01-01	Paper
Many-one degrees associated with semi-Thue systems	1973-01-01	Paper
Many-one degrees associated with problems of tag	1973-01-01	Paper
Combinatorial systems with axiom	1973-01-01	Paper
Degrees of unsolvability associated with Markov algorithms	1972-01-01	Paper
The many-one equivalence of some general combinatorial decision problems	1971-01-01	Paper

Research outcomes over time

This page was built for person: Charles E. Hughes