Zobrazeno 1 - 10
of 2 400
pro vyhledávání: '"second-order logic"'
Autor:
MacBride, Fraser, author
Publikováno v:
Higher-Order Metaphysics, 2024.
Externí odkaz:
https://doi.org/10.1093/oso/9780192894885.003.0011
Autor:
Williamson, Timothy, author
Publikováno v:
Higher-Order Metaphysics, 2024.
Externí odkaz:
https://doi.org/10.1093/oso/9780192894885.003.0016
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Masoud Khosravani
Publikováno v:
AUT Journal of Mathematics and Computing, Vol 3, Iss 2, Pp 147-151 (2022)
In this paper we pursue a logical approach to prove that the optimisation problem of finding a spanning caterpillar tree in a graph has polynomial algorithm for bounded tree width graphs. A caterpillar (tree) is a tree with the property that if one r
Externí odkaz:
https://doaj.org/article/e62573ba11f8470eab707ea8a4e7b590
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.