Rebecca M. Steiner

According to our database, Rebecca M. Steiner authored at least 6 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Classifications of Computable Structures.

Karen M. Lange, Russell G. Miller, Rebecca M. Steiner

Notre Dame J. Formal Log., 2018

2014

On the Effectiveness of Symmetry Breaking.

Russell G. Miller, Reed Solomon, Rebecca M. Steiner

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Effective algebraicity.

Rebecca M. Steiner

Arch. Math. Log., 2013

2012

Computable fields and the bounded Turing reduction.

Rebecca M. Steiner

Ann. Pure Appl. Log., 2012

Low n Boolean Subalgebras.

Rebecca M. Steiner

Proceedings of the How the World Computes, 2012

2010

Computable Fields and Weak Truth-Table Reducibility.

Rebecca M. Steiner

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010