Searching for authors named "Mauro Ferrari" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
- … Mauro Ferrari September 16, 2000 Abstract In this paper we dene cut-free hypersequent calculi for some…
- Cited by 7 (3 self) – Add To MetaCart
-
Almost duplication-free tableau calculi for propositional Lax logics
- …Almost duplication--free tableau calculi for propositional Lax logics Alessandro Avellone Mauro…
- Cited by 3 (0 self) – Add To MetaCart
-
Extracting Exact Time Bounds From Logical Proofs
- …132 Extracting exact time bounds from logical proofs Mauro Ferrari Camillo Fiorentini Mario Ornaghi…
- Cited by 1 (1 self) – Add To MetaCart
-
Extracting information from intermediate T-systems
- …Extracting information from intermediate T-systems MAURO FERRARI CAMILLO FIORENTINI PIERANGELO…
- Cited by 1 (1 self) – Add To MetaCart
-
A constructive semantics for ALC
- …A constructive semantics for ALC Loris Bozzato 1 , Mauro Ferrari 1 , Camillo Fiorentini 2 , Guido…
- Cited by 2 (1 self) – Add To MetaCart
-
Actions over a constructive semantics for ALC
- …Actions over a constructive semantics for ALC Loris Bozzato, Mauro Ferrari, and Paola Villa…
- Add To MetaCart
-
Building a domain ontology from glossaries: a general methodology
- …Building a domain ontology from glossaries: a general methodology Loris Bozzato, Mauro Ferrari…
- Add To MetaCart
-
Extracting information from intermediate semiconstructive HA-systems
- …. 253-00 ' & $ % Extracting information from intermediate semiconstructive HA-systems Mauro Ferrari…
- Add To MetaCart
-
Detecting Exposure to Environmental Organic Toxins in Individual Cells: Towards Development of a Micro-Fabricated Device
- … , Regine Goth-Goldstein a , Michael C. Martin c , Marion Russell a , Wayne R. McKinney c , Mauro Ferrari b…
- Add To MetaCart
Showing 1 through 9.
