Sciweavers

LOGCOM
2008
138views more  LOGCOM 2008»
13 years 4 months ago
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification
Following recent developments in the topic of generalized quantifiers, and also having in mind applications in the areas of security and artificial intelligence, a conservative en...
Luís Cruz-Filipe, João Rasga, Am&iac...