A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation 1st Edition by Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato ISBN 9783540301240

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation 1st Edition by Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato – Ebook PDF Instant Download/Delivery. 9783540301240
Full download A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation 1st Edition after payment

Product details:

ISBN 13: 9783540301240
Author: Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

A tableau calculus for a logic with constructive negation and an implementation of the related decision procedure is presented. This logic is an extension of Nelson logic and it has been used in the framework of program verification and timing analysis of combinatorial circuits. The decision procedure is tailored to shrink the search space of proofs and it is proved correct by using a semantical technique. It has been implemented in C++ language.

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation 1st Table of contents:

1 Introduction
2 The Logic E3 The Tableau Calculus
4 The Proof Search Strategy
5 Completeness
6 Implementation of the Decision Procedure
7 Conclusion and Future Work

People also search for A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation 1st:

    
a space efficient implementation
    
space efficiency of an algorithm
    
space efficient data structures
    
use space efficient
    
c isspace implementation