Searching for authors named "Alessandro Agostini" – sorted by Relevance.
-
Notes on Formalizing Coordination
- Notes on formalizing coordination ? Alessandro Agostini Universit`a di Siena LOMIT - Dipartimento
- Cited by 5 (5 self) – Add To MetaCart
-
Bidirectional Natural Deduction
- Bidirectional Natural Deduction Alessandro Agostini Istituto per la Ricerca Scientifica e
- Cited by 4 (2 self) – Add To MetaCart
-
On Two Families of Paradigms of Group-Solvability
- On Two Families of Paradigms of Group-Solvability Alessandro Agostini ITC-irst Trento November 7
- Cited by 1 (1 self) – Add To MetaCart
-
Coordination through Inductive Meaning Negotiation
- Coordination through Inductive Meaning Negotiation Alessandro Agostini ITC-IRST Trento April 23
- Cited by 1 (1 self) – Add To MetaCart
-
Teaching Via the Web: A Self-Evaluation Game Using Java for Learning Logical Equivalence
- Logical Equivalence Alessandro Agostini Dipartimento di Matematica Universita di Siena Italy agostini
- Cited by 1 (1 self) – Add To MetaCart
-
Cooperation = Coordination + Solvability
- Cooperation = Coordination + Solvability Alessandro Agostini ITC-IRST Trento February 14, 2003
- Cited by 6 (6 self) – Add To MetaCart
-
Bidirectional Reasoning
- Bidirectional Reasoning Alessandro Agostini y and Fausto Giunchiglia y;z y Mechanized Reasoning
- Add To MetaCart
-
Advertising Games for Web Services
- Advertising games for Web Services # Alessandro Agostini ITC-irst Trento Paolo Avesani ITC
- Cited by 8 (8 self) – Add To MetaCart
-
A Peer-to-Peer Advertising Game
- A Peer-to-Peer Advertising Game # Paolo Avesani and Alessandro Agostini ITC-IRST, Via Sommarive
- Cited by 10 (9 self) – Add To MetaCart
-
Coordination: A model-theoretic perspective
- owner. Coordination: A model-theoretic perspective Alessandro Agostini ITC-Irst Trento Dick de Jongh
- Cited by 3 (3 self) – Add To MetaCart

