Zobrazeno 1 - 10
of 718
pro vyhledávání: '"Monadic second-order logic"'
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.
Autor:
BIŁAT, ANDRZEJ
Publikováno v:
Roczniki Filozoficzne / Annales de Philosophie / Annals of Philosophy, 2018 Jan 01. 66(1), 5-32.
Externí odkaz:
https://www.jstor.org/stable/90020042
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:
Bell, Jason P., Burris, Stanley N.
Publikováno v:
Transactions of the American Mathematical Society, 2003 Sep 01. 355(9), 3777-3794.
Externí odkaz:
https://www.jstor.org/stable/1194864