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 条
  • [21] Introduction to the special issue on logic programming and the web
    Marchiori, Massimo
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2008, 8 : 247 - 248
  • [22] EDITORS INTRODUCTION TO THE SPECIAL ISSUE ON LOGIC MODELING
    BHARGAVA, HK
    KIMBROUGH, SO
    [J]. DECISION SUPPORT SYSTEMS, 1994, 11 (02) : 101 - 102
  • [23] "Is logic a physical variable?" Introduction to the Special Issue
    Eckstein, Michal
    Skowron, Bartlomiej
    [J]. ZAGADNIENIA FILOZOFICZNE W NAUCE-PHILOSOPHICAL PROBLEMS IN SCIENCE, 2020, (69): : 7 - 13
  • [24] AN INTRODUCTION TO THE SPECIAL ISSUE ON LOGIC, COGNITION AND ARGUMENTATION
    Urbanski, Mariusz
    van Lambalgen, Michiel
    Koszowy, Marcin
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2018, 27 (04) : 417 - 419
  • [25] SPECIAL ISSUE - LOGIC PROGRAMMING APPLICATIONS - INTRODUCTION
    STERLING, L
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1990, 8 (1-2): : 1 - 3
  • [26] Introduction to the special issue on probability, logic and learning
    Cussens, James
    de Raedt, Luc
    Kimmig, Angelika
    Sato, Taisuke
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 145 - 146
  • [27] SPECIAL ISSUE ON SEMICONDUCTOR LOGIC AND MEMORY - INTRODUCTION
    OLDHAM, WG
    VERHOFSTADT, PWJ
    [J]. IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1977, 12 (05) : 438 - 439
  • [28] Introduction to special issue on 'critical views of logic'
    Hartimo, Mirja
    Kjosavik, Frode
    Linnebo, Oystein
    [J]. INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2019,
  • [29] Special Issue : Abstract Algebraic Logic Introduction
    Maria Font, Josep
    Jansana, Ramon
    [J]. STUDIA LOGICA, 2013, 101 (04) : 647 - 650
  • [30] Introduction to special issue on 'critical views of logic'
    Hartimo, Mirja
    Kjosavik, Frode
    Linnebo, Oystein
    [J]. INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2022, 65 (06): : 631 - 637
12345