Search results for "Russell Miller"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Russell Miller	Low5 Boolean subalgebras and computable copies.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Barbara F. Csima, Valentina S. Harizanov, Russell Miller, Antonio Montalbán	Computability of Fraïssé limits.	J. Symb. Log.	2011	DBLP BibTeX RDF
1	Wesley Calvert, Russell Miller, Jennifer Chubb Reimann	The Distance Function on a Computable Graph	CoRR	2011	DBLP BibTeX RDF
1	Wesley Calvert, Ken Kramer, Russell Miller	Noncomputable functions in the Blum-Shub-Smale model	Logical Methods in Computer Science	2011	DBLP DOI BibTeX RDF
1	Russell Miller, Alexey Ovchinnikov	Adapting Rabin's Theorem for Differential Fields.	CiE	2011	DBLP DOI BibTeX RDF
1	Wesley Calvert, Ken Kramer, Russell Miller	The Cardinality of an Oracle in Blum-Shub-Smale Computation	CCA	2010	DBLP DOI BibTeX RDF
1	Ekaterina B. Fokina, Iskander Sh. Kalimullin, Russell Miller	Degrees of categoricity of computable structures.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
1	Merlin Carl, Tim Fischbach, Peter Koepke, Russell Miller, Miriam Nasfi, Gregor Weckbecker	The basic theory of infinite time register machines.	Arch. Math. Log.	2010	DBLP DOI BibTeX RDF
1	Russell Miller	d-computable categoricity for algebraic fields.	J. Symb. Log.	2009	DBLP BibTeX RDF
1	Wesley Calvert, Russell Miller	Real Computable Manifolds and Homotopy Groups.	UC	2009	DBLP DOI BibTeX RDF	Blum-Shub-Smale computability, Computability, homotopy, manifold
1	Andrey Frolov, Iskander Sh. Kalimullin, Russell Miller	Spectra of Algebraic Fields and Subfields.	CiE	2009	DBLP DOI BibTeX RDF	Computability, algebraic, field, spectrum, computable model theory
1	Russell Miller, Dustin Mulcahey	Perfect Local Computability and Computable Simulations.	CiE	2008	DBLP DOI BibTeX RDF	perfect local computability, simulation, computability, Category theory, local computability
1	Peter Koepke, Russell Miller	An Enhanced Theory of Infinite Time Register Machines.	CiE	2008	DBLP DOI BibTeX RDF	ordinal computability, hypercomputation, infinitary computation, register machine
1	Denis R. Hirschfeldt, Russell Miller, Sergei Podzorov	Order-Computable Sets.	Notre Dame Journal of Formal Logic	2007	DBLP BibTeX RDF
1	Steffen Lempp, Charles F. D. McCoy, Russell Miller, Reed Solomon	Computable categoricity of trees of finite height.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	Russell Miller	The computable dimension of trees of infinite height.	J. Symb. Log.	2005	DBLP BibTeX RDF
1	Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Russell Miller, Reed Solomon	Enumerations in computable structure theory.	Ann. Pure Appl. Logic	2005	DBLP DOI BibTeX RDF
1	Russell Miller	Definable Incompleteness and Friedberg Splittings.	J. Symb. Log.	2002	DBLP BibTeX RDF
1	Russell Miller	Orbits of computably enumerable sets: low sets can avoid an upper cone.	Ann. Pure Appl. Logic	2002	DBLP DOI BibTeX RDF
1	Richard Schroeppel, Cheryl L. Beaver, Rita Gonzales, Russell Miller, Timothy Draelos	A Low-Power Design for an Elliptic Curve Digital Signature Chip.	CHES	2002	DBLP DOI BibTeX RDF	Optimal El Gamal, Characteristic 2, Field Towers, Trinomial Basis, Qsolve, Almost-Inverse Algorithm, Point Halving, Signed Sliding Window, GF(289), GF(2178), Low Power, Digital Signature, VHDL, Hardware, Elliptic Curve, ECDSA, Quadratic Equation
1	Russell Miller	The delta02-Spectrum of A Linear Order.	J. Symb. Log.	2001	DBLP BibTeX RDF

Publications of "Russell Miller" ( http://dblp.L3S.de/Authors/Russell_Miller )