Searching for authors named "Camillo Fiorentini" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
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
Showing 1 through 6.
