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 条

[41] Introduction to the Special Issue on Computational Synthetic Biology
Myers, Chris J.
Sauro, Herbert
Wipat, Anil
[J]. ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS, 2014, 11 (03)
[42] Special issue: Traffic computational models - Introduction
Castillo, Enrique
Zhang, H. Michael
Rakha, Hesham
Asakura, Yasuo
[J]. COMPUTER-AIDED CIVIL AND INFRASTRUCTURE ENGINEERING, 2008, 23 (02) : 75 - 75
[43] Introduction Special Issue: Computational Approaches to Social Cognition Introduction
Gray, Wayne D.
[J]. TOPICS IN COGNITIVE SCIENCE, 2019, 11 (02) : 280 - 280
[44] Pattern perception and computational complexity: introduction to the special issue Introduction
Fitch, W. Tecumseh
Friederici, Angela D.
Hagoort, Peter
[J]. PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, 2012, 367 (1598) : 1925 - 1932
[45] Introduction to special issue on verification and evaluation of computer systems
Kamel Barkaoui
Hanifa Boucheneb
[J]. Innovations in Systems and Software Engineering, 2018, 14 (2) : 81 - 82
[46] Introduction to special issue on verification and evaluation of computer systems
Barkaoui, Kamel
Boucheneb, Hanifa
[J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2018, 14 (02) : 81 - 82
[47] Special issue on substructural logic and information dynamics: introduction
Roy, Olivier
Hjortland, Ole Thomassen
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (06) : 1785 - 1786
[48] The political logic of dispute settlement: Introduction to the special issue
Davis, Christina L.
[J]. REVIEW OF INTERNATIONAL ORGANIZATIONS, 2015, 10 (02): : 107 - 117
[49] Special Issue: Inductive Logic Programming (ILP) - Introduction
Rouveirol, E
Sebag, M
[J]. MACHINE LEARNING, 2004, 55 (02) : 107 - 108
[50] SPECIAL ISSUE - 10 YEARS OF LOGIC PROGRAMMING - INTRODUCTION
BRUYNOOGHE, M
DEBRAY, S
HERMENEGILDO, M
MAHER, M
[J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 20 : 1 - 3

← 1 2 3 4 5 →