Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"

被引：0

作者：

Bauer, Lujo ^{[2
]}

Etalle, Sandro ^{[3
]}

den Hartog, Jerry ^{[3
]}

Vigano, Luca ^{[1
]}

机构：

[1] Univ Verona, Dipartimento Informat, I-37134 Verona, Italy

[2] Carnegie Mellon Univ, Pittsburgh, PA 15213 USA

[3] Tech Univ Eindhoven, NL-5612 AZ Eindhoven, Netherlands

来源：

JOURNAL OF AUTOMATED REASONING | 2011年 / 46卷 / 3-4期

关键词：

D O I：

10.1007/s10817-010-9184-z

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：223 / 224

页数：2

共 50 条

[1] Preface of Special Issue on “Computer Security: Foundations and Automated Reasoning”
Lujo Bauer
Sandro Etalle
Jerry den Hartog
Luca Viganò
Journal of Automated Reasoning, 2011, 46 : 223 - 224
[2] Preface to the Special Issue on Automated Reasoning Systems
Armin Biere
Cesare Tinelli
Christoph Weidenbach
Journal of Automated Reasoning, 2020, 64 : 361 - 362
[3] Preface to the Special Issue on Automated Reasoning Systems
Biere, Armin
Tinelli, Cesare
Weidenbach, Christoph
JOURNAL OF AUTOMATED REASONING, 2020, 64 (03) : 361 - 362
[4] Special issue on automated reasoning with analytic tableaux - Preface
Beckert, Bernhard
Paulson, Lawrence C.
JOURNAL OF AUTOMATED REASONING, 2007, 38 (1-3) : 1 - 2
[5] Special issue on practical aspects of automated reasoning Preface
Konev, Boris
Schmidt, Renate A.
Schulz, Stephan
AI COMMUNICATIONS, 2010, 23 (2-3) : 67 - 68
[6] SPECIAL ISSUE ON - AUTOMATED REASONING WITH ANALYTIC TABLEAUX .1. PREFACE
WRIGHTSON, G
JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 173 - 173
[7] Special Issue The Symposium on Logical Foundations of Computer Science 2009 Preface
Artemov, Sergei
Nerode, Anil
ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (07) : 743 - 744
[8] Special Issue on Security Preface
Matsumoto, Tango
FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 2016, 52 (03): : 1 - 2
[9] Preface Special Issue Foundations of Physics
Dennis Dieks
Décio Krause
Christian de Ronde
Foundations of Physics, 2014, 44 : 1245 - 1245
[10] Preface Special Issue Foundations of Physics
Dieks, Dennis
Krause, Decio
de Ronde, Christian
FOUNDATIONS OF PHYSICS, 2014, 44 (12) : 1245 - 1245

← 1 2 3 4 5 →