Search the dblp DataBase
Laurentiu Leustean: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean
Certifying Optimality of State Estimation Programs. [Citation Graph (0, 0)][DBLP]
CAV, 2003, pp:301-314 [Conf] - Ulrich Kohlenbach, Laurentiu Leustean
Approximate fixed points of nonexpansive functions in product spaces. [Citation Graph (0, 0)][DBLP]
Mathematics, Algorithms, Proofs, 2005, pp:- [Conf] - Antonio di Nola, Laurentiu Leustean
Compact representations of BL-algebras. [Citation Graph (0, 0)][DBLP]
Arch. Math. Log., 2003, v:42, n:8, pp:737-761 [Journal] - Laurentiu Leustean
Proof Mining in R-trees and Hyperbolic Spaces. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:95-106 [Journal] - Laurentiu Leustean
Sheaf representations of BL-algebras. [Citation Graph (0, 0)][DBLP]
Soft Comput., 2005, v:9, n:12, pp:897-909 [Journal]
Search in 0.002secs, Finished in 0.002secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002