Sciweavers

16616 search results - page 260 / 3324
» Extending Extended Vacuity
Sort
View
CORR
2004
Springer
59views Education» more  CORR 2004»
15 years 6 months ago
Extending the SDSS Batch Query System to the National Virtual Observatory Grid
María A. Nieto-Santisteban, William O'Mulla...
CORR
2004
Springer
81views Education» more  CORR 2004»
15 years 6 months ago
Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...
DM
2002
71views more  DM 2002»
15 years 6 months ago
Embedding extended Mendelsohn triple systems
Vincent E. Castellana, Michael Edwin Raines
ENTCS
2002
66views more  ENTCS 2002»
15 years 6 months ago
Unique, guarded fixed points in an additive setting: Extended Abstract
Abstract Stephen L. Bloom Department of Computer Science Stevens Institute of Technology Hoboken, NJ 07030 and Zolt
Stephen L. Bloom, Zoltán Ésik