Fred Richman

19 papers Journal 17Unranked 2
YearRankTypeTitle / Venue / Authors
2014 J jnl
Walker groups.
Period. Math. Hung.
Fred Richman
2013 — conf
Walker's Cancellation Theorem.
TACL
Robert S. Lubarsky, Fred Richman
2012 J jnl
The Kripke schema in metric topology.
Math. Log. Q.
Robert S. Lubarsky, Fred Richman, Peter Schuster
2009 J jnl
Discrete logarithms for finite groups.
Computing
Lee C. Klingler, Spyros S. Magliveras, Fred Richman, Michal Sramka
2009 J jnl
Intuitionistic notions of boundedness in N.
Math. Log. Q.
Fred Richman
2009 J jnl
Signed-bit representations of real numbers.
J. Log. Anal.
Robert S. Lubarsky, Fred Richman
2008 J jnl
Real numbers and other completions.
Math. Log. Q.
Fred Richman
2006 J jnl
Did Euclid Need the Euclidean Algorithm to Prove Unique Factorization?
Am. Math. Mon.
David Pengelley, Fred Richman
2005 J jnl
Constructive Aspects of Markov Chains.
J. Univers. Comput. Sci.
Fred Richman
2005 — conf
Enabling conditions for interpolated rings.
Mathematics, Algorithms, Proofs
Fred Richman
2004 J jnl
Equivalence of Syllogisms.
Notre Dame J. Formal Log.
Fred Richman
2002 J jnl
Omniscience Principles and Functions of Bounded Variation.
Math. Log. Q.
Fred Richman
2002 J jnl
Subspaces of the Vector Space of 2-by-2 Matrices: 10813.
Am. Math. Mon.
Fred Richman, et al.
2000 J jnl
Gleason's Theorem Has a Constructive Proof.
J. Philos. Log.
Fred Richman
2000 J jnl
Problem 10813.
Am. Math. Mon.
Fred Richman
2000 J jnl
Some Group Theoretic Aspects of t-Norms.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Fred Richman, Elbert A. Walker
1999 J jnl
Linear Independence without Choice.
Ann. Pure Appl. Log.
Douglas S. Bridges, Fred Richman, Peter Schuster
1994 J jnl
Calculating Maximum-Entropy Probability densities for Belief Functions.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Aaron Meyerowitz, Fred Richman, Elbert A. Walker
1983 J jnl
Church's Thesis Without Tears.
J. Symb. Log.
Fred Richman