Verena Huber-Dyson
- Lattices over Orders I
1970/01/01 by Klaus W. Roggenkamp, Verena Huber-Dyson · 1 citation
Computer Science · Psychology · #Logic, Reasoning, and Knowledge #Philosophy and Theoretical Science
- Talking about free groups in naturally enriched languages
1977/01/01 by Verena Huber-Dyson · 2 citations
Mathematics · Computer Science · #Geometric and Algebraic Topology #semigroups and automata theory #Advanced Topology and Set Theory
- An inductive theory for free products of groups
1979/12/01 by Verena Huber-Dyson · 1 citation
Arts and Humanities · Computer Science · Mathematics · #Adjunction #Algebra over a field #Arity #Computer science #Decidability #Discrete mathematics #Elementary theory #Free product #Geometric and Algebraic Topology #Group (periodic table) #Linguistics and Discourse Analysis #Mathematics #Morphism #Programming language #Pure mathematics #Unary operation #Undecidable problem #semigroups and automata theory
- A Reduction of the Open Sentence Problem for Finite Groups
1981/07/01 by Verena Huber-Dyson · 1 citation
Mathematics · #Finite Group Theory Research