Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540252368, 9783540322757

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ordered Resolution with Selection for $\mathcal{H}(@)$

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_9 ◽

2005 ◽

pp. 125-141 ◽

Cited By ~ 2

Author(s):

Carlos Areces ◽

Daniel Gorín

Keyword(s):

Selection For

Download Full-text

Evaluating QBFs via Symbolic Skolemization

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_20 ◽

2005 ◽

pp. 285-300 ◽

Cited By ~ 18

Author(s):

Marco Benedetti

Download Full-text

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_2 ◽

2005 ◽

pp. 21-35 ◽

Cited By ~ 12

Author(s):

Ullrich Hustadt ◽

Boris Motik ◽

Ulrike Sattler

Keyword(s):

Decision Procedures

Download Full-text

How the Location of * Influences Complexity in Kleene Algebra with Tests

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_16 ◽

2005 ◽

pp. 224-239

Author(s):

Chris Hardin

Keyword(s):

Kleene Algebra

Download Full-text

On a Semantic Subsumption Test

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_10 ◽

2005 ◽

pp. 142-153 ◽

Cited By ~ 1

Author(s):

Jerzy Marcinkowski ◽

Jan Otop ◽

Grzegorz Stelmaszek

Download Full-text

A Verification Environment for Sequential Imperative Programs in Isabelle/HOL

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_26 ◽

2005 ◽

pp. 398-414 ◽

Cited By ~ 81

Author(s):

Norbert Schirmer

Download Full-text

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_30 ◽

2005 ◽

pp. 449-465 ◽

Cited By ~ 6

Author(s):

Mark Bickford ◽

Robert C. Constable ◽

Joseph Y. Halpern ◽

Sabina Petride

Keyword(s):

Distributed Systems ◽

Knowledge Based ◽

Event Structures

Download Full-text

The Inverse Method for the Logic of Bunched Implications

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_31 ◽

2005 ◽

pp. 466-480 ◽

Cited By ~ 3

Author(s):

Kevin Donnelly ◽

Tyler Gibson ◽

Neel Krishnaswami ◽

Stephen Magill ◽

Sungwoo Park

Keyword(s):

Inverse Method

Download Full-text

CERES in Many-Valued Logics

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_1 ◽

2005 ◽

pp. 1-20 ◽

Cited By ~ 4

Author(s):

Matthias Baaz ◽

Alexander Leitsch

Download Full-text

Automatic Certification of Heap Consumption

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32275-7_23 ◽

2005 ◽

pp. 347-362 ◽

Cited By ~ 16

Author(s):

Lennart Beringer ◽

Martin Hofmann ◽

Alberto Momigliano ◽

Olha Shkaravska

Download Full-text

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Ordered Resolution with Selection for $\mathcal{H}(@)$

Evaluating QBFs via Symbolic Skolemization

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi

How the Location of * Influences Complexity in Kleene Algebra with Tests

On a Semantic Subsumption Test

A Verification Environment for Sequential Imperative Programs in Isabelle/HOL

Knowledge-Based Synthesis of Distributed Systems Using Event Structures

The Inverse Method for the Logic of Bunched Implications

CERES in Many-Valued Logics

Automatic Certification of Heap Consumption

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science
Latest Publications