Searching for authors named "Massimo Marchiori" – sorted by Relevance.
-
Proving Existential Termination of Normal Logic Programs
- Proving Existential Termination of Normal Logic Programs Massimo Marchiori Dept. of Pure
- Cited by 7 (1 self) – Add To MetaCart
-
Towards a People's Web: Metalog
- Towards a People’s Web: Metalog Massimo Marchiori MIT CSAIL, The World Wide Web Consortium (W3C
- Cited by 2 (0 self) – Add To MetaCart
-
On the Modularity of Normal Forms in Rewriting
- Massimo Marchiori Proof Clear. 2 Definition 2.3 The multiset S(t) of the special subterms of a term t is 1
- Cited by 7 (3 self) – Add To MetaCart
-
Modularity of Completeness Revisited
- Modularity of Completeness Revisited Massimo Marchiori Department of Pure and Applied Mathematics
- Cited by 13 (5 self) – Add To MetaCart
-
On Deterministic Conditional Rewriting
- Massimo Marchiori On Deterministic Conditional Rewriting Massimo Marchiori MIT Laboratory for Computer
- Cited by 1 (0 self) – Add To MetaCart
-
Bubbles in modularity
- Bubbles in Modularity Massimo Marchiori Department of Pure and Applied Mathematics University
- Cited by 3 (3 self) – Add To MetaCart
-
The Functional Side of Logic Programming
- The Functional Side of Logic Programming Massimo Marchiori Department of Pure and Applied
- Cited by 6 (2 self) – Add To MetaCart
-
Enhancing Navigation in the World Wide Web
- Enhancing Navigation in the World Wide Web Massimo Marchiori MIT Laboratory for Computer Science
- Cited by 1 (0 self) – Add To MetaCart
-
Localizations of unification freedom through matching directions
- Localizationsof UnicationFreedom through Matching Directions Massimo Marchiori Department of Pure
- Cited by 4 (3 self) – Add To MetaCart
-
Security of World Wide Web Search Engines
- Security of World Wide Web Search Engines Massimo Marchiori Department of Pure & Applied
- Cited by 2 (1 self) – Add To MetaCart

