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
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
Combinatorial systems defined over one- and two-letter alphabets	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
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
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

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: Charles E. Hughes