Veröffentlichungen der Forschungsgruppe "Deduktion" der HTWK Leipzig

Papers of the Research Group "Deduction" at the HTWK Leipzig

2001- 2000- 1999- 1998- 1997- 1996- 1995- 1994- 1993- 1992 and before

2000

00/1: -- flairs2000-4on1.ps.gz -- flairs2000.bib
Uwe Petermann:
Towards Dependable Development Tools for Embedded Systems A Case Study in Software Verification

1999

99/1: -- MultipleBuiltIns.dvi.gz -- MultipleBuiltIns.bib
Uwe Petermann:
Connection Caluclus Theorem Proving with Multiple Built-in Theories

99/2: -- SemanticalSyntactical.dvi.gz -- SemanticalSyntactical.bib
Uwe Petermann:
Combining Semantical and Syntactical Theory Reasoning

99/3: -- lit99.ps.gz -- VerifiedIlGenerator.bib
Uwe Petermann:

99/4: -- TechProgr.dvi.gz -- TechProgr.bib
E. Alder and I. Klein and U. Petermann and A. Pretschner:
Technologisches Programmieren von SPS mit verifiziertem AWL-Generator

1998

98/1: -- frocos98.dvi.gz -- frocos98.bib
Uwe Petermann:
Combining Semantical and Syntactical Theory Reasoning

98/2: -- CADE98-WS.dvi.gz -- CADE98-WS.bib
Uwe Petermann:
Integrating Deduction and Computation

98/3: -- special-chap.dvi.gz -- special-chap.bib
Uwe Petermann (Editor of the Chapter):
Special Calculi and Refinements

98/4: -- TheoryReasonig.dvi.gz -- TheoryReasonig.bib
Peter Baumgartner and Uwe Petermann:
Theory Reasoning

98/5: -- SpecInfRules.dvi.gz -- SpecInfRules.bib
Gerd Neugebauer and Uwe Petermann:
Specifications of Inference Rules: Extensions of the PTTP Technique

98/6: -- herbrand.dvi.gz -- herbrand.bib
Uwe Petermann:
The Practical Value of Herbrand Disjunctions

98/7: -- GermanPolishWorkshop.dvi.gz -- GermanPolishWorkshop.bib
Uwe Petermann:
Theorem Proving with Built-In Hybrid Theories

1997

97/1: -- ftp97.dvi.gz -- ftp97.bib
Uwe Petermann:
Building-In Hybrid Theories

1996

96/1: -- tableau96.dvi.gz -- tableau96.bib
Uwe Petermann:
Multi-Modal Reasoning as Reasoning in Hybrid Theories

1995

95/1: -- tableau95.dvi.gz -- tableau95.bib
G. Neugebauer and U. Petermann:
Specifications of Inference Rules and Their Automatic Translation

1994

94/1: -- jelia94.dvi.gz -- jelia94.bib
Uwe Petermann:
Complete Connection Calculus with Rigid E-Unification

94/2: -- ki94.dvi.gz -- ki94.bib
Gerard Becher and Uwe Petermann:
Rigid E-Unification by Completion and Rigid Paramodulation

1993

93/1: -- kgc93.dvi.gz -- kgc93.bib
Uwe Petermann:
Completeness of the Pool Calculus with an Open Built-In Theory

1992 and before

92/1: -- cai.dvi.gz -- cai.bib
Uwe Petermann:
How to Build-in an Open Theory into Connection Calculi

89/1: -- pci.bib
Uwe Petermann and Andrzej Szalas:
On temporal logic for distributed systems and its application to processes communicating by interrupts


Fri Mar 30 17:36:04 MET DST 2001