Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 
Marseille, France, 1993

Basin, David; Hähnle, R.; Fronhöfer, B.; Posegga, J.; Schwind, C.

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993

MPS-Authors

/persons/resource/persons44075

Basin, David
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-93-213.pdf
(Any fulltext), 128MB

Supplementary Material (public)

There is no public supplementary material available

Citation

Posegga, J., & Schwind, C.(1993). Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, 1993 (MPI-I-93-213). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-B777-2

Abstract

There is no abstract available