default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 24 matches
- 2013
- Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish:
Tableaux for Verification of Data-Centric Processes. TABLEAUX 2013: 28-43 - Carlos Areces, Ezequiel Orbe:
Dealing with Symmetries in Modal Tableaux. TABLEAUX 2013: 13-27 - Clark W. Barrett, Stéphane Demri, Morgan Deters:
Witness Runs for Counter Machines - (Abstract). TABLEAUX 2013: 1-4 - Nick Bezhanishvili, Silvio Ghilardi:
Bounded Proofs and Step Frames. TABLEAUX 2013: 44-58 - Joseph Boudou, Bruno Woltzenlogel Paleo:
Compression of Propositional Resolution Proofs by Lowering Subproofs. TABLEAUX 2013: 59-73 - Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco:
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. TABLEAUX 2013: 74-80 - Agata Ciabattoni, Paolo Maffezioli, Lara Spendier:
Hypersequent and Labelled Calculi for Intermediate Logics. TABLEAUX 2013: 81-96 - Amélie David:
TATL: Implementation of ATL Tableau-Based Decision Procedure. TABLEAUX 2013: 97-103 - Mauro Ferrari, Camillo Fiorentini, Guido Fiorino:
A Terminating Evaluation-Driven Variant of G3i. TABLEAUX 2013: 104-118 - Tim French, John Christopher McCabe-Dansted, Mark Reynolds:
Model Checking General Linear Temporal Logic. TABLEAUX 2013: 119-133 - Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of ABoxes. TABLEAUX 2013: 134-148 - Stéphane Graham-Lengrand:
Psyche: A Proof-Search Engine Based on Sequent Calculus with an LCF-Style Architecture. TABLEAUX 2013: 149-156 - Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia:
Understanding Resolution Proofs through Herbrand's Theorem. TABLEAUX 2013: 157-171 - Zhe Hou, Alwen Tiu, Rajeev Goré:
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search. TABLEAUX 2013: 172-187 - Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky:
A Refined Tableau Calculus with Controlled Blocking for the Description Logic. TABLEAUX 2013: 188-202 - Hidenori Kurokawa:
Prefixed Tableau Systems for Logic of Proofs and Provability. TABLEAUX 2013: 203-218 - Björn Lellmann, Dirk Pattinson:
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5. TABLEAUX 2013: 219-233 - Sara Negri:
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi. TABLEAUX 2013: 5-9 - Tobias Nipkow, Maximilian P. L. Haslbeck:
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. TABLEAUX 2013: 10-12 - Nicolas Peltier:
Schemata of Formulæ in the Theory of Arrays. TABLEAUX 2013: 234-249 - Christoph Röthlisberger:
TAFA - A Tool for Admissibility in Finite Algebras. TABLEAUX 2013: 250-256 - Hendrik Tews:
Formalizing Cut Elimination of Coalgebraic Logics in Coq. TABLEAUX 2013: 257-272 - Ming Zuo, Volker Haarslev:
Intelligent Tableau Algorithm for DL Reasoning. TABLEAUX 2013: 273-287 - Didier Galmiche, Dominique Larchey-Wendling:
Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Lecture Notes in Computer Science 8123, Springer 2013, ISBN 978-3-642-40536-5 [contents]
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-07 20:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint