Russell Miller

17 papers A 1C 5Journal 10Unranked 1

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A Topological Approach to Undefinability in Algebraic Extensions of. Bull. Symb. Log. Kirsten Eisenträger, Russell Miller, Caleb Springer, Linda Westrick
2021	C	`conf`	Computable Procedures for Fields. CiE Russell Miller
2020	C	`conf`	Non-coding Enumeration Operators. CiE Russell Miller
2019	J	`jnl`	Degree spectra of real closed fields. Arch. Math. Log. Russell Miller, Victor Ocasio-González
2019	J	`jnl`	Isomorphism and classification for countable structures. Comput. Russell Miller
2017	—	`conf`	Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey. Computability and Complexity Russell Miller
2016	C	`conf`	Baire Category Theory and Hilbert's Tenth Problem Inside \mathbb Q Q. CiE Russell Miller
2011	C	`conf`	Adapting Rabin's Theorem for Differential Fields. CiE Russell Miller, Alexey Ovchinnikov
2011	J	`jnl`	An introduction to computable model theory on groups and fields. Groups Complex. Cryptol. Russell Miller
2011	J	`jnl`	Low J. Symb. Log. Russell Miller
2009	J	`jnl`	d-computable categoricity for algebraic fields. J. Symb. Log. Russell Miller
2008	C	`conf`	Perfect Local Computability and Computable Simulations. CiE Russell Miller, Dustin Mulcahey
2005	J	`jnl`	The computable dimension of trees of infinite height. J. Symb. Log. Russell Miller
2002	A	`conf`	A Low-Power Design for an Elliptic Curve Digital Signature Chip. CHES Richard Schroeppel, Cheryl L. Beaver, Rita Gonzales, Russell Miller, Timothy Draelos
2002	J	`jnl`	Definable Incompleteness and Friedberg Splittings. J. Symb. Log. Russell Miller
2002	J	`jnl`	Orbits of computably enumerable sets: low sets can avoid an upper cone. Ann. Pure Appl. Log. Russell Miller
2001	J	`jnl`	The delta J. Symb. Log. Russell Miller