Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540412854

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A PVS Proof Obligation Generator for Lustre Programs

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_12 ◽

2007 ◽

pp. 179-188 ◽

Author(s):

Cècile Canovas-Dumas ◽

Paul Caspi

Keyword(s):

Proof Obligation

Download Full-text

A Kripkean Semantics for Dynamic Logic Programming

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_30 ◽

2007 ◽

pp. 469-486 ◽

Author(s):

Ján Šefránek

Keyword(s):

Logic Programming ◽

Download Full-text

Static Reduction Analysis for Imperative Object Oriented Languages

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_22 ◽

2007 ◽

pp. 344-361

Author(s):

Gilles Barthe ◽

Bernard Serpette

Keyword(s):

Object Oriented ◽

Object Oriented Languages

Download Full-text

A Tactic Language for the System Coq

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_7 ◽

2007 ◽

pp. 85-95 ◽

Author(s):

David Delahaye

Download Full-text

Equational Binary Decision Diagrams

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_11 ◽

2007 ◽

pp. 161-178 ◽

Author(s):

Jan Groote ◽

Jaco Pol

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Binary Decision

Download Full-text

Efficient First Order Functional Program Interpreter with Time Bound Certifications

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_3 ◽

2007 ◽

pp. 25-42 ◽

Author(s):

Marion Jean-Yves ◽

J.-Y. Moyen

Keyword(s):

Functional Program ◽

Download Full-text

Have SPASS with OCC1N = g

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_9 ◽

2007 ◽

pp. 114-130

Author(s):

Christian G. Fermüller ◽

Georg Moser

Download Full-text

Compiling and Verifying Security Protocols

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_10 ◽

2007 ◽

pp. 131-160 ◽

Author(s):

Florent Jacquemard ◽

Michaël Rusinowitch ◽

Laurent Vigneron

Keyword(s):

Security Protocols

Download Full-text

Proof Simplification for Model Generation and Its Applications

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_8 ◽

2007 ◽

pp. 96-113 ◽

Author(s):

Miyuki Koshimura ◽

Ryuzo Hasegawa

Keyword(s):

Model Generation

Download Full-text

Behavioural Constructor Implementation for Regular Algebras

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_5 ◽

2007 ◽

pp. 54-69 ◽

Author(s):

Sławomir Lasota

Keyword(s):

Regular Algebras

Download Full-text