Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540710691, 9783540710707

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_28 ◽

2008 ◽

pp. 320-326 ◽

Cited By ~ 10

Author(s):

Anders Schack-Nielsen ◽

Carsten Schürmann

Keyword(s):

Concurrent Systems ◽

Logical Framework ◽

System Description

Download Full-text

leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)

Automated Reasoning - Lecture Notes in Computer Science ◽

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

2008 ◽

pp. 283-291 ◽

Cited By ~ 22

Author(s):

Jens Otten

Keyword(s):

Theorem Proving ◽

Intuitionistic Logic ◽

High Performance ◽

Logic System

Download Full-text

CASC-J4 The 4th IJCAR ATP System Competition

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_38 ◽

2008 ◽

pp. 457-458 ◽

Cited By ~ 1

Author(s):

Geoff Sutcliffe

Download Full-text

Proof Systems for Effectively Propositional Logic

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_36 ◽

2008 ◽

pp. 426-440 ◽

Cited By ~ 8

Author(s):

Juan Antonio Navarro ◽

Andrei Voronkov

Keyword(s):

Propositional Logic ◽

Proof Systems

Download Full-text

Challenges in the Automated Verification of Security Protocols

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_34 ◽

2008 ◽

pp. 396-409 ◽

Cited By ~ 2

Author(s):

Hubert Comon-Lundh

Keyword(s):

Security Protocols ◽

Automated Verification

Download Full-text

The Logical Difference Problem for Description Logic Terminologies

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_21 ◽

2008 ◽

pp. 259-274 ◽

Cited By ~ 27

Author(s):

Boris Konev ◽

Dirk Walther ◽

Frank Wolter

Keyword(s):

Description Logic ◽

Difference Problem

Download Full-text

Towards SMT Model Checking of Array-Based Systems

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_6 ◽

2008 ◽

pp. 67-82 ◽

Cited By ~ 28

Author(s):

Silvio Ghilardi ◽

Enrica Nicolini ◽

Silvio Ranise ◽

Daniele Zucchelli

Keyword(s):

Model Checking

Download Full-text

An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_25 ◽

2008 ◽

pp. 299-305 ◽

Cited By ~ 8

Author(s):

Rajeev Goré ◽

Linda Postniece

Keyword(s):

Experimental Evaluation ◽

System Description ◽

Global Caching

Download Full-text

A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_12 ◽

2008 ◽

pp. 147-153 ◽

Cited By ~ 2

Author(s):

Christoph Beierle ◽

Gabriele Kern-Isberner ◽

Nicole Koch

Keyword(s):

Automated Reasoning ◽

System Description ◽

High Level ◽

Default Rules

Download Full-text

Quantitative Separation Logic and Programs with Lists

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71070-7_4 ◽

2008 ◽

pp. 34-49 ◽

Cited By ~ 3

Author(s):

Marius Bozga ◽

Radu Iosif ◽

Swann Perarnau

Keyword(s):

Separation Logic ◽

Quantitative Separation

Download Full-text

Automated Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)

CASC-J4 The 4th IJCAR ATP System Competition

Proof Systems for Effectively Propositional Logic

Challenges in the Automated Verification of Security Protocols

The Logical Difference Problem for Description Logic Terminologies

Towards SMT Model Checking of Array-Based Systems

An Experimental Evaluation of Global Caching for $\mathcal {ALC}$ (System Description)

A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description)

Quantitative Separation Logic and Programs with Lists

Automated Reasoning - Lecture Notes in Computer Science
Latest Publications