Please use this identifier to cite or link to this item: doi:10.22028/D291-40183
Title: Solving Disequations in Equational Theories
Author(s): Bürckert, Hans-Jürgen
Language: English
Year of Publication: 1987
Place of publication: Kaiserslautern
DDC notations: 004 Computer science, internet
Publikation type: Report
Link to this record: urn:nbn:de:bsz:291--ds-401839
Series name: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Series volume: 87,15
Date of registration: 11-Aug-2023
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship: SE - Sonstige
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
SEKI-Report-SR-87-15_Bürckert_Solving-Disequations-in-Equational-Theories.pdf2,95 MBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.