Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Ograniczanie wyników

Czasopisma help

  1. 2 Fundamenta Mathematicae

Autorzy help

  1. 2 Clote P. G.

  2. 1 Hirst J. L.

Lata help

  1. 1 1998

  2. 1 1987

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ć.