The following pages link to Albert A. Mullin (Q704043):
Displaying 10 items.
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note (Q853474) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Computation, hypercomputation, and physical science (Q959046) (← links)
- Quantum deduction rules (Q1001909) (← links)
- On the learnability and usage of acyclic probabilistic finite automata (Q1271548) (← links)
- What is complexity? (Q1361181) (← links)
- Propositional lax logic (Q1368378) (← links)
- Finite basis problems and results for quasivarieties (Q1770614) (← links)