TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 5.

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (2002):
Model Generation Theorem Proving with Finite Interval Constraints.
In: Journal of the Information Processing Society of Japan, 43 (12), [Article]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (2000):
A Model Generation Theorem Prover Handling Finite Interval Constraints.
(Vol.5, No.2), [Report]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Lloyd, John ; Dahl, Veronica ; Furbach, Ulrich ; Kerber, Manfred ; Lau, Kung-Kiu ; Palamidessi, Catuscia ; Pereira, Luís Moniz ; Sagiv, Yehoshua ; Stuckey, Peter (eds.) (2000):
Model Generation Theorem Proving with Finite Interval Constraints.
In: LNCS, 1861, In: Proc. Computational Logic -- CL~2000, First International Conference, London, UK, pp. 285--399,
Springer-Verlag, [Conference or Workshop Item]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki
Benhamou, Frédéric ; Older, William J. ; Emden, Maarten van ; Hentenryck, Pascal van (eds.) (1995):
Model Generation Theorem Proving with Interval Constraints.
In: Proceedings of {ILPS} Post-Conference Workshop on Interval Constraints, Portland/OR, USA,
[Conference or Workshop Item]

Hähnle, Reiner ; Hasegawa, Ryuzo ; Shirai, Yasuyuki (1995):
Model Generation Theorem Proving with Interval Constraints.
(45/95), [Report]

This list was generated on Sat Oct 1 04:51:55 2022 CEST.