Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Reverse mathematics of some topics from algorithmic graph theory

Szczegóły
Opis

Tytuł:: Reverse mathematics of some topics from algorithmic graph theory
Autorzy:: Clote, Peter
Hirst, Jeffry
Powiązania:: https://bibliotekanauki.pl/articles/1205347.pdf
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: recursion theory
reverse mathematics
proof theory
graph theory
Źródło:: Fundamenta Mathematicae; 1998, 157, 1; 1-13
0016-2736
Język:: angielski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Reverse mathematics of some topics from algorithmic graph theory

Powiązane pozycje