Introduction to the special issue on verification and computational logic

被引：1

作者：

Leuschel, M ^{[1
]}

Podelski, A

Ramakrishnan, CR

Ultes-Nitsche, U

机构：

[1] Univ Southampton, Dept Elect & Comp Sci, Highfield SO17 1BJ, England

[2] Max Planck Inst Informat, D-66123 Saarbrucken, Germany

[3] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11794 USA

[4] Univ Fribourg, Dept Informat, CH-1700 Fribourg, Switzerland

来源：

THEORY AND PRACTICE OF LOGIC PROGRAMMING | 2004年 / 4卷

关键词：

D O I：

10.1017/S1471068404002078

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

[No abstract available]

引用

页码：543 / 544

页数：2

共 50 条

[1] Introduction to the special issue on computational logic for verification
Vidal, German
[J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (02) : 122 - 125
[2] Special Issue: Logic and Algorithms in Computational Linguistics 2017 Introduction
Loukanova, Roussanka
Moortgat, Michael
[J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2019, 28 (02) : 97 - 99
[3] SPECIAL ISSUE - COMPUTATIONAL-LINGUISTICS AND LOGIC PROGRAMMING - INTRODUCTION
DAHL, V
[J]. JOURNAL OF LOGIC PROGRAMMING, 1995, 24 (1-2): : 1 - 2
[4] Special issue on logic - Introduction
Martin, E
[J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2000, 78 (04) : 433 - 433
[5] Introduction to the special issue on runtime verification
Yliès Falcone
César Sánchez
[J]. Formal Methods in System Design, 2018, 53 : 1 - 5
[6] Introduction to the Special Issue on Runtime Verification
Lu Feng
Dana Fisman
[J]. International Journal on Software Tools for Technology Transfer, 2023, 25 : 519 - 520
[7] Introduction to the special issue on runtime verification
Falcone, Ylies
Sanchez, Cesar
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (01) : 1 - 5
[8] Introduction to the special issue on runtime verification
Sokolsky, Oleg
Rosu, Grigore
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (03) : 233 - 235
[9] Introduction to the special issue on runtime verification
Bartocci, Ezio
Majumdar, Rupak
[J]. FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) : 1 - 4
[10] Introduction to the special issue on runtime verification
Oleg Sokolsky
Grigore Roşu
[J]. Formal Methods in System Design, 2012, 41 : 233 - 235

← 1 2 3 4 5 →