%0 Report %1 nehmeierTR476 %A Nehmeier, Marco %A Wolff von Gudenberg, Jürgen %D 2010 %K descartes Reliability %N 476 %T Interval Comparisons and Lattice Operations based on the Interval Overlapping Relation %X In this paper we start with the definition of the interval overlapping relation showing the 13 different cases that may occur when to compare two non-empty intervals. This paper serves 2 purposes: 1. to define a solid foundation for interval comparisons and lattice operations 2. to provide an advanced interface for language embedding and application programs.

@techreport{nehmeierTR476, abstract = {In this paper we start with the definition of the interval overlapping relation showing the 13 different cases that may occur when to compare two non-empty intervals. This paper serves 2 purposes: 1. to define a solid foundation for interval comparisons and lattice operations 2. to provide an advanced interface for language embedding and application programs.}, added-at = {2020-04-05T23:20:45.000+0200}, author = {Nehmeier, Marco and Wolff von Gudenberg, J{\"u}rgen}, biburl = {https://www.bibsonomy.org/bibtex/2adf29691d7d21c32a8e2eb8d4f523b60/se-group}, institution = {Department of Computer Science, University of W{\"u}rzburg}, interhash = {26437d1191ffe3ab1be94bf613160e40}, intrahash = {adf29691d7d21c32a8e2eb8d4f523b60}, keywords = {descartes Reliability}, month = {September}, number = 476, timestamp = {2020-05-13T11:58:00.000+0200}, title = {{I}nterval {C}omparisons and {L}attice {O}perations based on the {I}nterval {O}verlapping {R}elation}, type = {Technical Report}, year = 2010 }