International Conference on Theorem Proving with Analytic Tableaux and Related Methods
TABLEAUX
B
CORE rank
CORE rank (raw)
B
Fields of research
Theory of Computation
Papers indexed
530
1992–2025
Papers per year
199240 peak2025
Most published authors
TABLEAUX papers
530 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1992 | A Model Elimination Calculus for Generalized Clauses. | Toni Bollinger |
| 1992 | The Lambda-Tableau Calculus: A New Approach to Theorem Proving in the Intuitionistic Logic (Extended Abstract). | Oliver Bittel |
| 1992 | Consolution as a Framework for Comparing Calculi. | Peter Baumgartner, Ulrich Furbach |
| 1992 | A Model Elimination Calculus with Built-in Theories (Extended Abstract). | Peter Baumgartner |
| 1992 | A Uniform Prefixed Tableau Method for Positive First-Order Definable Systems. | Tadashi Araragi |
526–530 of 530← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*SODAACM/SIAM Symposium on Discrete Algorithms
- A*ICALPInternational Colloquium on Automata Languages and Programming
- A*STOCACM Symposium on Theory of Computing
- A*FOCSIEEE Symposium on Foundations of Computer Science
- AESAEuropean Symposium on Algorithms
- ASTACSInternational Symposium on Theoretical Aspects of Computer Science
- A*LICSIEEE Symposium on Logic in Computer Science
- AGDGraph Drawing