Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings (Englisch)
- Neue Suche nach: Cialdea Mayer, Marta
- Neue Suche nach: International Conference on Analytic Tableaux and Related Methods
- Weitere Informationen zu International Conference on Analytic Tableaux and Related Methods:
- http://d-nb.info/gnd/10064178-7
- Neue Suche nach: Cialdea Mayer, Marta
- Neue Suche nach: Pirri, Fiora
- Neue Suche nach: International Conference on Analytic Tableaux and Related Methods
- Weitere Informationen zu International Conference on Analytic Tableaux and Related Methods:
- http://d-nb.info/gnd/10064178-7
2003
-
ISBN:
- Konferenzband / Elektronische Ressource
-
Titel:Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9 - 12, 2003 ; proceedings
-
Beteiligte:
-
Kongress:International Conference on Analytic Tableaux and Related Methods
TABLEAUX -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , Heidelberg [u.a.]
-
Erscheinungsdatum:2003
-
Format / Umfang:Online-Ressource
-
ISBN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
- Neue Suche nach: 54.72 / 54.10
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 006.3 / 510
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Non Commutative Logic: A SurveyAbrusci, V. M. et al. | 2003
- 2
-
Dynamical Method in Algebra: A SurveyCoquand, T. et al. | 2003
- 3
-
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical CodeSchumann, J. et al. | 2003
- 4
-
Tableaux with Four Signs as a Unified FrameworkAvron, A. et al. | 2003
- 17
-
A Labelled Sequent-Calculus for Observation LogicBrunet, O. et al. | 2003
- 32
-
Bounded Lukasiewicz LogicsCiabattoni, A. / Metcalfe, G. et al. | 2003
- 48
-
Parallel Dialogue Games and Hypersequents for Intermediate LogicsFermuller, C. G. et al. | 2003
- 65
-
Simplification Rules for Constrained Formula TableauxGiese, M. et al. | 2003
- 81
-
Tableau Calculi for Preference-Based Conditional LogicsGiordano, L. / Gliozzi, V. / Olivetti, N. / Schwind, C. et al. | 2003
- 102
-
A General Tableau Method for Propositional Interval Temporal LogicsGoranko, V. / Montanari, A. / Sciavicco, G. et al. | 2003
- 117
-
Universal Variables in Disconnection TableauxLetz, R. / Stenz, G. et al. | 2003
- 134
-
A Tableau Algorithm for Reasoning about Concepts and SimilarityLutz, C. / Wolter, F. / Zakharyaschev, M. et al. | 2003
- 150
-
XPath and Modal Logics of Finite DAG`sMarx, M. et al. | 2003
- 165
-
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge CompilationMurray, N. V. / Rosenthal, E. et al. | 2003
- 181
-
A More Efficient Tableaux Procedure for Simultaneous Search for Refutations and Finite ModelsPeltier, N. et al. | 2003
- 196
-
Automatic Abstraction of Equations in a Logic of EqualityVelev, M. N. et al. | 2003
- 214
-
A Free Variable Sequent Calculus with Uniform Variable SplittingWaaler, A. / Antonsen, R. et al. | 2003
- 230
-
The Tableaux Work BenchAbate, P. / Gore, R. et al. | 2003
- 237
-
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations of a First Order L-Predicate Nonmonotonic LogicBrown, F. M. et al. | 2003
- 246
-
Logistica 2.0: A Technology for Implementing Automatic Deduction SystemsBrown, F. M. et al. | 2003
- 252
-
Fair Constraint Merging Tableaux in Lazy Functional Programming StyleHahnle, R. / Sorensson, N. et al. | 2003
- 257
-
SOLAR: A Consequence Finding System for Advanced ReasoningNabeshima, H. / Iwanuma, K. / Inoue, K. et al. | 2003
- 264
-
CondLean: A Theorem Prover for Conditional LogicsOlivetti, N. / Pozzato, G. L. et al. | 2003