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 条
  • [31] Introduction to the special issue on inductive logic programming
    Cussens, J
    Frisch, AM
    [J]. JOURNAL OF MACHINE LEARNING RESEARCH, 2004, 4 (04) : 413 - 414
  • [32] Computational approaches to Portuguese: introduction to the special issue
    Diana Santos
    Thiago Alexandre Salgueiro Pardo
    [J]. Language Resources and Evaluation, 2024, 58 (1) : 1 - 6
  • [33] Introduction to the Special Issue on Computational Archival Science
    Hedges, Mark
    Marciano, Richard
    Goudarouli, Eirini
    [J]. ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE, 2022, 15 (01):
  • [34] Computational approaches to Portuguese: introduction to the special issue
    Santos, Diana
    Pardo, Thiago Alexandre Salgueiro
    [J]. LANGUAGE RESOURCES AND EVALUATION, 2024, 58 (01) : 1 - 6
  • [35] Special Issue on Advanced Computational Algorithms: Introduction
    Farago, Istvan
    Havasi, Agnes
    Margenov, Svetozar
    Zlatev, Zahari
    [J]. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2010, 235 (02) : 345 - 347
  • [36] Introduction to the Special Issue On Computational Modelling of Emotion
    de Melo, Celso
    Petters, Dean
    Parthemore, Joel
    Moffatt, David
    Becker-Asano, Christian
    [J]. IEEE TRANSACTIONS ON AFFECTIVE COMPUTING, 2021, 12 (02) : 277 - 278
  • [37] Introduction to the special issue on computational anaphora resolution
    Mitkov, R
    Boguraev, B
    Lappin, S
    [J]. COMPUTATIONAL LINGUISTICS, 2001, 27 (04) : 473 - 477
  • [38] SPECIAL ISSUE - COMPUTATIONAL OCEAN ACOUSTICS - INTRODUCTION
    VONWINKLE, WA
    [J]. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1985, 11 (7-8) : R9 - R9
  • [39] Introduction for Special Issue on Computational Optical Imaging
    [J]. Guangxue Xuebao/Acta Optica Sinica, 2020, 40 (01):
  • [40] Special Issue on: Bioscience and Computational Methods Introduction
    Surendar, A.
    Nelakuditi, Usha Rani
    [J]. INTERNATIONAL JOURNAL OF BIOMEDICAL ENGINEERING AND TECHNOLOGY, 2018, 26 (3-4) : 217 - 218
12345