Reports de recerca
Recent Submissions
-
Total domination in plane triangulations
(2020-11-09)
External research report
Open Access -
Characterizations of some complexity classes between [theta sub 2 super p] and [delta sub 2 super p]
(1990)
External research report
Open AccessWe give some characterizations of the classes P super NP [0(log super k n)]. First, we show that these classes are equal to classes AC super k-1 (N P). Second, we prove that they are also equivalent to some classes defined ... -
Development of algebraic specifications with constraints
(1989)
External research report
Open AccessA formal framework for the development of algebraic specifications is presented. Ther main issues concerning the approach are the following: we allow to deal with incomplete specifications during the design process. This ... -
Metric dimension of maximal outerplanar graphs
(2019-03-28)
External research report
Open Access -
Trees whose even-degree vertices induce a path are antimagic
(2019-05-16)
External research report
Open AccessAn antimagic labeling of a connected graph G is a bijection from the set of edges E(G) to {1, 2, . . . , |E(G)|} such that all vertex sums are pairwise distinct, where the vertex sum at vertex v is the sum of the labels ...