[Lecture Notes in Computer Science] Languages, Compilers, and Tools for Embedded Systems Volume 1474 || TurboJ, a Java bytecode-to-native compiler
- 作者Mueller, Frank; Bestavros, Azer
- 文件大小606.62KB
- 发表时间1998
- DOI10.1007/bfb0057785
- 页码119-130
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