111 search results - page 17 / 23 » The eskolemization of universal quantifiers |
ICLP
1991
Springer
13 years 11 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
PDPTA
2007
13 years 9 months ago
2007
- Our study evaluates user (Web browser) accesses to a Web server. We examine a Web server log that was collected for the span of several months at the College of Design, Construct...
CSREAESA
2006
13 years 9 months ago
2006
Hybrid spacecraft processing platforms that combine radiation-hardened components with commercialgrade COTS components have the potential to dramatically improve performance while ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Nepomnjascii's Theorem states that for all 0 < 1 and k > 0 the class of languages recognized in nondeterministic time nk and space n , NTISP[nk , n ], is contained in ...