Zobrazeno 1 - 10
of 49
pro vyhledávání: '"Tinchev, Tinko"'
Autor:
Ivanova, Tatyana, Tinchev, Tinko
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W. Schwabh\"auser and L. S
Externí odkaz:
http://arxiv.org/abs/2107.10128
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a unifier of F. When a unifiable formula has minimal complete sets of unifi
Externí odkaz:
http://arxiv.org/abs/2004.07904
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:
Marinov, Tsvetlin, Tinchev, Tinko
We propose a new contact relation between polytopes. Intuitively, we say that two polytopes are in strong contact if a small enough object can pass from one of them to the other while remaining in their union. In the first half of the paper we prove
Externí odkaz:
http://arxiv.org/abs/1802.08187
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.
Publikováno v:
Литературата / The Literature. (02):99-115
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=64462
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:
Balbiani, Philippe, Tinchev, Tinko
Publikováno v:
In Journal of Logic and Algebraic Programming 2010 79(8):707-721
The unification problem in a propositional logic is to determine, given a formula ϕ, whether there exists a substitution σ such that σ(ϕ) is in that logic. In that case, σ is a unifier of ϕ. When a unifiable formula has minimal complete sets of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::046aa8802076d32f866fb7fad4eeb4ff
https://hal.science/hal-03762105
https://hal.science/hal-03762105
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.