Sciweavers

LOGCOM
2008
138views more  LOGCOM 2008»
14 years 12 days 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...