PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Ograniczanie wyników
Czasopisma help
  1. 2 Fundamenta Mathematicae
Lata help
  1. 1 1998
  2. 1 1987
Autorzy help
  1. 2 Clote P. G.
  2. 1 Hirst J. L.
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 2

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Reverse mathematics of some topics from algorithmic graph theory
100%
Clote P. G. , Hirst J. L.
Fundamenta Mathematicae
|
1998
|
tom 157
|
nr 1
1-13
EN
This paper analyzes the proof-theoretic strength of an infinite version of several theorems from algorithmic graph theory. In particular, theorems on reachability matrices, shortest path matrices, topological sorting, and minimal spanning trees are considered.
2
Content available remote A note on the Mac Dowell-Specker theorem
50%
Clote P. G.
Fundamenta Mathematicae
|
1987
|
tom 127
|
nr 2
163-170
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.