Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

15

(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 ◽

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 ◽

Author(s):

Jens Otten

Keyword(s):

Theorem Proving ◽

Intuitionistic Logic ◽

High Performance ◽

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 ◽

Author(s):

Hubert Comon-Lundh

Keyword(s):

Security Protocols ◽

Automated Verification

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 ◽

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 ◽

Author(s):

Juan Antonio Navarro ◽

Andrei Voronkov

Keyword(s):

Propositional Logic ◽

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 ◽

Author(s):

Boris Konev ◽

Dirk Walther ◽

Frank Wolter

Keyword(s):

Description Logic ◽

Difference Problem

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 ◽

Author(s):

Marius Bozga ◽

Radu Iosif ◽

Swann Perarnau

Keyword(s):

Separation Logic ◽

Quantitative Separation

Download Full-text

Automated Induction with Constrained Tree Automata

Automated Reasoning - Lecture Notes in Computer Science ◽

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

2008 ◽

pp. 539-554 ◽

Author(s):

Adel Bouhoula ◽

Florent Jacquemard

Keyword(s):

Download Full-text

Proving Bounds on Real-Valued Functions with Computations

Automated Reasoning - Lecture Notes in Computer Science ◽

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

2008 ◽

pp. 2-17 ◽

Author(s):

Guillaume Melquiond

Download Full-text

Individual Reuse in Description Logic Reasoning

Automated Reasoning - Lecture Notes in Computer Science ◽

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

2008 ◽

pp. 242-258 ◽

Author(s):

Boris Motik ◽

Ian Horrocks

Keyword(s):

Description Logic ◽

Logic Reasoning

Download Full-text