10271 search results - page 1658 / 2055 » Self-plagiarism in computer science |
166
click to vote
RTA
1998
Springer
15 years 11 months ago
1998
Springer
There is a close relationship between word unification and second-order unification. This similarity has been exploited for instance for proving decidability of monadic second-orde...
165
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Formal methods based on the mathematical theory of partially ordered sets (i.e., posets) have been used in the database field for the modelling of spatial data since many...
193
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Based on the specific characteristics of electronic commerce (ECommerce) requirements for an adequate system support, this contribution gives an overview of the respectiv...
160
click to vote
STACS
1998
Springer
15 years 11 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...
162
Voted
WG
1998
Springer
15 years 11 months ago
1998
Springer
The number of triangles in arrangements of lines and pseudolines has been object of some research. Most results, however, concern arrangements in the projective plane. In this arti...