Searching for authors named "Camillo Fiorentini" – sorted by Relevance.
-
Path Rewriting and Combined Word Problems
- Path Rewriting and Combined Word Problems Camillo Fiorentini and Silvio Ghilardi Technical
- Add To MetaCart
-
Answer Set Semantics vs. Information Term Semantics
- Answer Set Semantics vs. Information Term Semantics Camillo Fiorentini, Mario Ornaghi Dipartimento
- Cited by 1 (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
-
Extracting information from intermediate semiconstructive HA-systems
- Camillo Fiorentini Pierangelo Miglioli Abstract In this paper we will study the problem of uniformly
- Add To MetaCart

