14 results on '"Omodeo, Eugenio G."'
Search Results
2. A decidable theory involving addition of differentiable real functions
3. Complexity Assessments for Decidable Fragments of Set Theory. IV: Testers for Crucial, Polynomial-Maximal Decidable Boolean Languages
4. Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership
5. Three-variable statements of set-pairing
6. ER modelling from first relational principles
7. Algebraic semantics of ER-models in the context of the calculus of relations
8. A graphical approach to relational reasoning1 1This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.
9. Formative Processes with Applications to the Decision Problem in Set Theory
10. Layered map reasoning
11. Goals and Benchmarks for Automated Map Reasoning
12. {log}: A language for programming in logic with finite sets
13. A derived algorithm for evaluating ɛ-expressions over abstract sets
14. The linked conjunct method for automatic deduction and related search techniques
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.