[Lecture Notes in Mathematics] The Selberg Trace Formula for PSL(2,ℝ) Volume 1001 || Development of the trace formula (version A)
- 作者,
- 文件大小5291.94KB
- 发表时间1983
- DOI10.1007/bfb0061303
- 页码1-232
SAT-Based Decision Procedures for Classical Modal LogicsEnrico Giunchiglia; Armando Tacchella; Fausto Giunchiglia · 2002
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluationGiunchiglia, Enrico; Sebastiani, Roberto; Giunchiglia, Fausto; Tacchella, Armando · Journal of Applied Non-Classical Logics · 2000
A theory of abstractionFausto Giunchiglia; Toby Walsh · 1992
Contextualizing ontologiesPaolo Bouquet; Fausto Giunchiglia; Frank van Harmelen; Luciano Serafini; Heiner Stuckenschmidt · 2004
The inevitability of inconsistent abstract spacesFausto Giunchiglia; Toby Walsh · 1993
Program tactics and logic tacticsFausto Giunchiglia; Paolo Traverso · Annals of Mathematics and Artificial Intelligence · 1996
Semantic floodingFausto Giunchiglia; Uladzimir Kharkevich; Alethia Hume · 2011
Using Abstrips Abstractions -- Where do We Stand?Fausto Giunchiglia · 1999