Automated reasoning with analytic tableaux and related methods : 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Series: | Lecture Notes in Computer Science
8123 |
| Subjects: | |
| Online Access: | Click here to view the full text content |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 03234nam a2200433 i 4500 | ||
|---|---|---|---|
| 001 | vtls000112500 | ||
| 003 | MY-ArUMP | ||
| 005 | 20210731152445.0 | ||
| 006 | m fq d | ||
| 007 | cr nn 008mamaa | ||
| 008 | 131031s2013 gw | fs |||| 0|eng d | ||
| 020 | |a 9783642405372 | ||
| 039 | 9 | |a 201412181303 |b RAR |c 201310311658 |d VLOAD |y 201310081731 |z NY | |
| 040 | |a MYPMP |b eng |c MYPMP |e rda | ||
| 245 | 0 | 0 | |a Automated reasoning with analytic tableaux and related methods : |b 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings / |c edited by Didier Galmiche, Dominique Larchey-Wendling. |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 2013. | |
| 300 | |a 1 online resource (X, 289 pages) 34 illustrations. |b digital | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Lecture Notes in Computer Science |x 0302-9743 |v 8123 | |
| 505 | 0 | |a Invited Talks -- Witness Runs for Counter Machines (Abstract) -- On the Duality of Proofs and Countermodels in Labelled Sequent Calculi -- A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions -- Research Papers -- Dealing with Symmetries in Modal Tableaux -- Tableaux for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional Resolution Proofs by Lowering Subproofs -- A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation -- Hypersequent and Labelled Calculi for Intermediate Logics -- TATL: Implementation of ATL Tableau-Based Decision Procedure -- A Terminating Evaluation-Driven Variant of G3i -- Model Checking General Linear Temporal Logic -- Semantically Guided Evolution of SHI ABoxes -- Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture -- Understanding Resolution Proofs through Herbrand's Theorem -- A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search -- A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI -- Prefixed Tableau Systems for Logic of Proofs and Provability -- Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA - A Tool for Admissibility in Finite Algebras -- Formalizing Cut Elimination of Coalgebraic Logics in Coq -- Intelligent Tableau Algorithm for DL Reasoning. | |
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Logic design. | |
| 650 | 0 | |a Computational complexity. | |
| 650 | 0 | |a Artificial intelligence. | |
| 700 | 1 | |a Larchey-Wendling, Dominique. | |
| 700 | 1 | |a Galmiche, Didier. | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 776 | 0 | 8 | |i Printed edition: |z 9783642405365 |
| 830 | 0 | |a Lecture Notes in Computer Science |x 0302-9743 |v 8123 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-3-642-40537-2 |y Click here to view the full text content |
| 942 | |2 lcc |c BK-EBOOK | ||
| 949 | |a VIRTUAITEM |d 10011 |x 9 | ||
| 999 | |c 53870 |d 53870 | ||
| 952 | |0 0 |1 0 |2 lcc |4 0 |7 0 |9 49181 |a FSGM |b FSGM |d 2021-07-31 |l 0 |r 2021-07-31 |w 2021-07-31 |y BK-EBOOK | ||