![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 25 matches
- 2009
- Régis Alenda, Nicola Olivetti, Camilla Schwind:
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31 - Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier:
A Schemata Calculus for Propositional Logic. TABLEAUX 2009: 32-46 - Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera:
Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61 - Arnon Avron, Ori Lahav:
Canonical Constructive Systems. TABLEAUX 2009: 62-76 - Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon
, Krystian Ji, Kevin Lee, David Rajaratnam
, Rolf Schwitter
:
A Novel Architecture for Situation Awareness Systems. TABLEAUX 2009: 77-92 - David Baelde:
On the Proof Theory of Regular Fixed Points. TABLEAUX 2009: 93-107 - Bianca Boretti, Sara Negri:
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus. TABLEAUX 2009: 108-122 - Davide Bresolin
, Angelo Montanari, Pietro Sala
, Guido Sciavicco
:
A Tableau-Based System for Spatial Reasoning about Directional Relations. TABLEAUX 2009: 123-137 - Chad E. Brown, Gert Smolka:
Terminating Tableaux for the Basic Fragment of Simple Type Theory. TABLEAUX 2009: 138-151 - Kai Brünnler, Lutz Straßburger:
Modular Sequent Systems for Modal Logic. TABLEAUX 2009: 152-166 - Silvio Ghilardi
, Silvio Ranise
:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. TABLEAUX 2009: 173-188 - Rajeev Goré, Linda Postniece, Alwen Tiu:
Taming Displayed Tense Logics Using Nested Sequents with Deep Inference. TABLEAUX 2009: 189-204 - Rajeev Goré, Florian Widmann:
Sound Global State Caching for ALC with Inverse Roles. TABLEAUX 2009: 205-219 - Peter Jeavons:
Presenting Constraints. TABLEAUX 2009: 1-15 - Natthapong Jungteerapanich:
A Tableau System for the Modal µ-Calculus. TABLEAUX 2009: 220-234 - Mark Kaminski, Sigurd Schneider, Gert Smolka:
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies. TABLEAUX 2009: 235-249 - Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal:
Prime Implicate Tries. TABLEAUX 2009: 250-264 - Marta Cialdea Mayer
:
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. TABLEAUX 2009: 167-172 - George Metcalfe
, Nicola Olivetti:
Proof Systems for a Gödel Modal Logic. TABLEAUX 2009: 265-279 - Dirk Pattinson, Lutz Schröder
:
Generic Modal Cut Elimination Applied to Conditional Logics. TABLEAUX 2009: 280-294 - Luís Pinto
, Tarmo Uustalu
:
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents. TABLEAUX 2009: 295-309 - Renate A. Schmidt
, Dmitry Tishkovsky:
Automated Synthesis of Tableau Calculi. TABLEAUX 2009: 310-324 - Christoph Wernhard:
Tableaux for Projection Computation and Knowledge Compilation. TABLEAUX 2009: 325-340 - Pierre Wolper:
On the Use of Automata for Deciding Linear Arithmetic. TABLEAUX 2009: 16 - Martin Giese, Arild Waaler:
Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5607, Springer 2009, ISBN 978-3-642-02715-4 [contents]
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-07-31 04:02 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