Six lonely runners.
Bohman, Tom, Holzman, Ron, Kleitman, Dan (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Bohman, Tom, Holzman, Ron, Kleitman, Dan (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Milosav M. Marjanović (2000)
The Teaching of Mathematics
Similarity:
Todorčević, S. (1995)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
I. R. Shafarevich (1999)
The Teaching of Mathematics
Similarity:
Pitman, Jane (2001)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Milosav M. Marjanović (2000)
The Teaching of Mathematics
Similarity:
D'Aniello, Emma, Darji, U.B. (2000)
Zeitschrift für Analysis und ihre Anwendungen
Similarity:
Sondore, Anita (1998)
Matematichki Vesnik
Similarity:
Adamović, Dušan D., Kečkić, Jovan D. (1987)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Christoph Sprenger, Mads Dam (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
We investigate a Gentzen-style proof system for the first-order -calculus based on cyclic proofs, produced by unfolding fixed point formulas and detecting repeated proof goals. Our system uses explicit ordinal variables and approximations to support a simple semantic induction discharge condition which ensures the well-foundedness of inductive reasoning. As the main result of this paper we propose a new syntactic discharge condition based on traces and establish its equivalence with...
Blass, Andreas, Braun, Gábor (2005)
The Electronic Journal of Combinatorics [electronic only]
Similarity:
Victor Harnik, Mark Nadel, Jonathan Stavi (1986)
Fundamenta Mathematicae
Similarity: