Autor: Clote, Peter - Prolib Integro

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

Wyszukujesz frazę "Clote, Peter" wg kryterium: Autor

Wyświetlanie 1-2 z 2

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A note on the Mac Dowell-Specker theorem
Autorzy:: Clote, Peter
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Powiązania:: https://bibliotekanauki.pl/articles/1363371.pdf Link otwiera się w nowym oknie
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Reverse mathematics of some topics from algorithmic graph theory
Autorzy:: Clote, Peter
Hirst, Jeffry
Tematy:: recursion theory
reverse mathematics
proof theory
graph theory; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Powiązania:: https://bibliotekanauki.pl/articles/1205347.pdf Link otwiera się w nowym oknie
Opis:: 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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Wyświetlanie 1-2 z 2

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

Wyszukujesz frazę "Clote, Peter" wg kryterium: Autor