Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-41393
Titel: | Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme'" in Kaiserslautern, 1993 |
VerfasserIn: | Avenhaus, Jürgen Denzinger, Jörg |
Sprache: | Englisch |
Erscheinungsjahr: | 1993 |
Erscheinungsort: | Kaiserslautern |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | This report contains a collection of abstracts for talks given at the “Deduktionstreffen” held at Kaiserslautern, October 6 to 8, 1993. The Deduktionstreffen is the annual meeting of the Fachgruppe Deduktionssysteme in the Gesellschaft für Informatik" (GI). This Fachgruppe represents the German community of researchers in the area of automated reasoning. The topics of the talks range from theoretical aspects of term rewriting systems and higher order resolution to descriptions of practical proof systems in various applications. They are grouped together according the following classification: Distribution and Combination of Theorem Provers, Termination, Completion, Functional Programs, Inductive Theorem Proving, Automated Theorem Proving, Proof Presentation. It is a tradition of the Deduktiontreffen that mainly the groups at the organizing university present their work. Besides that, talks from the German speaking community are given. It is the aim of the meeting to present and discuss ongoing research. In general, the final versions of the results presented will be submitted to journals and conferences later on. So this report may give an impression what is going on for the moment in the organizing department - and - to a small extent - in Germany in the field of automated reasoning. We look forward to have an interesting meeting and fruitful discussions. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-413938 hdl:20.500.11880/37806 http://dx.doi.org/10.22028/D291-41393 |
Schriftenreihe: | SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447] |
Band: | 93,11 |
Datum des Eintrags: | 6-Jun-2024 |
Fakultät: | SE - Sonstige Einrichtungen |
Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
Professur: | SE - Sonstige |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Report-SR-93-11_Avenhaus-Denzinger_Informal-Proceedings-of-the-Annual-Meeting-of-GI=Fachgruppe-Deduktionssysteme-in-Kaiserslautern,-1993.pdf | 1,96 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.