Abstract Interpretation Frameworks
- 期刊名称Journal of Logic and Computation
- 作者COUSOT, PATRICK; COUSOT, RADHIA
- 卷第2卷
- 期第4期
- 印刷ISSN0955-792X
- 电子ISSN1465-363X
- 文件大小2049.59KB
- 发表时间1992
- DOI10.1093/logcom/2.4.511
- 页码511-547
Justifying induction on modal -formulaeAlberucci, L.; Krahenbuhl, J.; Studer, T. · Logic Journal of IGPL · 2014
ReStuder, Nicholas M.; Horn, Gregory T. · Journal of Trauma and Acute Care Surgery · 2015
Physical Properties of Pistachio NutsT. C. Pearson, ; D. C. Slaughter, ; H. E. Studer, · Transactions of the ASAE · 1994
Nonparametric regression penalizing deviations from additivityStuder, M.; Seifert, B.; Gasser, T. · The Annals of Statistics · 2005
Nonparametric Regression Penalizing Deviations from AdditivityM. Studer, B. Seifert and T. Gasser · The Annals of Statistics · 2005
Electron counting in quantum dotsS. Gustavsson; R. Leturcq; M. Studer; I. Shorubalko; T. Ihn; K. Ensslin; D.C. Driscoll; A.C. Gossard · 2009
Regulation der Plasmaaldosteronkonzentration bei nierenlosen PatientenJ. Tuma; K. Záruba; A. Studer; T. Lüscher; W. Siegenthaler; H. Vetter; W. Vetter · 1981
Rare forms of renal hypertensionT. Lüscher; H. Vetter; G. Pouliadis; U. Kuhlmann; A. Studer; D. Hauri; B. Wicky; I. Schmitt; N. Satz; W. Siegenthaler; W. Vetter · 1981
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014