zbMATH — the first resource for mathematics

Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ‘99, Saratoga Springs, NY, USA, June 7–11, 1999. Proceedings. (English) Zbl 0915.00048
Lecture Notes in Computer Science 1617. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 325 p. (1999).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. The preceding conference (1998) has been announced (see Zbl 0888.00018).
Indexed articles:
Baaz, Matthias; Fermüller, Christian G., Analytic calculi for projective logics, 36-50 [Zbl 0931.03066]
Baumgartner, Peter; Horton, J. D.; Spencer, Bruce, Merge path improvements for minimal model hyper tableaux, 51-65 [Zbl 0931.03014]
Broda, Krysia; Gabbay, Dov, CLDS for propositional intuitionistic logic, 66-81 [Zbl 0931.03015]
Caldwell, James, Intuitionistic tableau extracted, 82-96 [Zbl 0932.03008]
Cantone, Domenico; Zarba, Calogero G., A tableau-based decision procedure for a fragment of set theory involving a restricted form of quantification, 97-112 [Zbl 0932.03009]
Ciabattoni, Agata, Bounded contraction in systems with linearity, 113-127 [Zbl 0931.03038]
de Groote, Philippe, The non-associative Lambek calculus with product in polynomial time, 128-139 [Zbl 0933.03017]
Demri, Stéphane, Sequent calculi for nominal tense logics: A step towards mechanization?, 140-154 [Zbl 0931.03031]
Demri, Stéphane; Goré, Rajeev, Cut-free display calculi for nominal tense logics, 155-170 [Zbl 0931.03032]
Giese, Martin; Ahrendt, Wolfgang, Hilbert’s \(\epsilon\)-terms in automated theorem proving, 171-185 [Zbl 0931.03016]
Gilmore, Paul C., Partial functions in an impredicative simple theory of types, 186-201 [Zbl 0931.03017]
Goubault-Larrecq, Jean, A simple sequent system for first-order logic with free constructors, 202-216 [Zbl 0949.03011]
Mantel, Heiko; Otten, Jens, linTAP: A tableau prover for linear logic, 217-231 [Zbl 0932.03010]
May, Wolfgang, A tableau calculus for a temporal logic with temporal connectives, 232-246 [Zbl 0931.03034]
Monz, Christof; de Rijke, Maarten, A tableau calculus for pronoun resolution, 247-262 [Zbl 0932.03011]
Schütz, Heribert, Generating minimal Herbrand models step by step, 263-277 [Zbl 0932.03012]
Tzakova, Miroslava, Tableau calculi for hybrid logics, 278-292 [Zbl 0931.03035]
Wirth, Claus-Peter, Full first-order free variable sequents and tableaux in implicit induction, 293-307 [Zbl 0931.03018]

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations