The following pages link to Charles E. Hughes (Q754188):
Displaying 24 items.
- Word problems for bidirectional single-premise Post systems (Q754190) (← links)
- The finite power property for context-free languages (Q1157912) (← links)
- The one-one equivalence of some general combinatorial decision problems (Q1220502) (← links)
- The equivalence of vector addition systems to a subclass of Post canonical systems (Q1251476) (← links)
- Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423) (← links)
- (Q1844661) (redirect page) (← links)
- Many-one degrees associated with semi-Thue systems (Q1844662) (← links)
- The general decision problem for Markov algorithms with axiom (Q2550727) (← links)
- The Caracol Time Travel Project (Q2783214) (← links)
- Many-one degrees associated with problems of tag (Q3214909) (← links)
- Derivatives and quotients of prefix-free context-free languages (Q3901017) (← links)
- Single premise Post canonical forms defined over one-letter alphabets (Q4052094) (← links)
- Degrees of unsolvability associated with Markov algorithms (Q4052103) (← links)
- Triadic partial implicational propositional calculi (Q4063116) (← links)
- Sets derived by deterministic systems with axiom (Q4063127) (← links)
- A reduction class containing formulas with one monadic predicate and one binary function symbol (Q4096936) (← links)
- Combinatorial systems defined over one- and two-letter alphabets (Q4103085) (← links)
- (Q4103166) (← links)
- Two variable implicational calculi of prescribed many-one degrees of unsolvability (Q4106189) (← links)
- (Q4111061) (← links)
- (Q4172896) (← links)
- The many-one equivalence of some general combinatorial decision problems (Q5619078) (← links)
- Combinatorial systems with axiom (Q5921244) (← links)
- Combinatorial systems with axiom (Q5921583) (← links)
