Preview
Unable to display preview. Download preview PDF.
6.-Bibliography
GardeƱes E., Trepat A.: "Fundamentals of SIGLA, an Interval Computing System on the Completed Set of Intervals" Computing 24, Springer 1980.
GardeƱes E., Trepat A., Janer J.M.: "SIGLA-PL/I, development and applications" Interval Mathematics 1980, Ed. K. Nickel, Academic Press 1980.
GardeƱes E., Trepat A., Janer J.M.: "Approaches to simulation and to the linear problem in the SIGLA System" Freiburger Intervall-Berichte 81/8, Freiburg 1982.
GardeƱes E., Trepat A., Mielgo H.: "Present perspective of the SIGLA Interval System" Freiburger Intervall-Berichte 82/9, Freiburg 1982.
GardeƱes E.: "Computing with the completed set of intervals: SIGLA-PL/I System" Proc. 22th Science Week, Damascus 1982 (to appear).
Kaucher E.: "Interval analysis in the extended interval space IR" Computing Suppl. 2., Springer 1980.
Nickel K.: "Verbandtheoretische Grundlagen der Intervall-Mathematik" Lecture Notes in Comp. Sc. 29, Springer 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
Ā© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
GardeƱes, E., Mielgo, H., Trepat, A. (1986). Modal intervals : Reason and ground semantics. In: Nickel, K. (eds) Interval Mathematics 1985. IMath 1985. Lecture Notes in Computer Science, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16437-5_4
Download citation
DOI: https://doi.org/10.1007/3-540-16437-5_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16437-1
Online ISBN: 978-3-540-39779-3
eBook Packages: Springer Book Archive