Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme

Schwigon, S.
Hofstedt, P. (Technische Univ. Dresden (Germany). Inst. fuer Softwaretechnik I)
Technische Univ. Dresden (Germany). Fakultaet fuer Informatik

Publication date

January 1997

Abstract

Available from TIB Hannover: RR 7739(97-08)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Extracted data

Related items

Entwurf komplexer Automatisierungssysteme Methoden, Anwendungen und Tools auf der Basis von Petri-Netzen und anderer formaler Beschreibungsmittel

Technische Univ. Braunschweig (Germany). Inst. fuer Regelungs- und Automatisierungstechnik

January 1993

Available from TIB Hannover: RR 1863(3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

SYCON - Symbolische Constraint-Propagierung auf Netzwerken Entwurf und Implementierung

Fendler, M.
Wichlacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme

January 1987

TIB Hannover: RO 3552(15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informations...

Fallstudie zur Parallelisierung automatischer Beweisverfahren

Schwamborn, H.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Automatisches Theorembeweisen durch logische Programmierung

Heitsch, W.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1996

SIGLEAvailable from TIB Hannover: RR 2036(62) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Combination of constraint systems

Kepser, S.

January 1998

Summary in GermanSIGLEAvailable from TIB Hannover: RR 7403(98,118) / FIZ - Fachinformationszzentrum ...

Erweiterte Methoden zur automatischen Gesichtserkennung

Eppler, T.
Gebhart, A.
Rosenstiel, W.
Tuebingen Univ. (Germany). Wilhelm-Schickard-Inst. fuer Informatik

January 1996

Available from TIB Hannover: RR 4367(96-20) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Automatisches Programmieren von Wartungswerkzeugen fuer Wissensbasen

Gastner, R.
Bayerisches Forschungszentrum fuer Wissensbasierte Systeme (FORWISS), Erlangen (Germany)

January 1993

Available from TIB Hannover: RO9940(1993-003) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Ein UND-paralleles Ausfuehrungsmodell fuer logische Programme

Schwinn, B.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Optimierung und Parallelisierung von Programmen auf der Ebene von Flussgraphen

Wedeck, J.
Rosenstiel, W.
Trautwein, C. (Tuebingen Univ. (Germany). Technische Informatik)
Technische Univ. Dresden (Germany). Sonderforschungsbereich 358 - Automatisierter Systementwurf, Synthese, Test, Verifikation dedizierte Anwendungen

January 1993

Available from TIB Hannover: RR 8747(93-6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Konfiguration und Gestaltung mit Constraintsystemen

Brey, M.

January 2003

Available from TIB Hannover: RO 2520(63) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Repraesentation von Constraints und Zielfunktionen

Funke, B.
Technische Hochschule Aachen (Germany). Lehr- und Forschungsgebiet der Unternehmensforschung

January 1994

Available from TIB Hannover: RR 5796(49) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Perspektiven und Parallelprojektionen

Nabert, R.
Paderborn Univ. (Gesamthochschule) (Germany). Fachbereich 17 - Mathematik-Informatik

January 1991

SIGLEAvailable from TIB Hannover: RR 1609(86) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

SYCON Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen symbolischen Constraints

Fendler, M.
Wichiacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1985

TIB: RO 4626 (4)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Entwurf komplexer Automatisierungssysteme Methoden, Anwendungen und Tools auf der Basis von Petri-Netzen und anderer formaler Beschreibungsmittel

Technische Univ. Braunschweig (Germany). Inst. fuer Regelungs- und Automatisierungstechnik

January 1993

Available from TIB Hannover: RR 1863(3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

SYCON - Symbolische Constraint-Propagierung auf Netzwerken Entwurf und Implementierung

Fendler, M.
Wichlacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme

January 1987

TIB Hannover: RO 3552(15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informations...

Fallstudie zur Parallelisierung automatischer Beweisverfahren

Schwamborn, H.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...

Automatisches Theorembeweisen durch logische Programmierung

Heitsch, W.
Humboldt-Universitaet, Berlin (Germany). Inst. fuer Informatik

January 1996

SIGLEAvailable from TIB Hannover: RR 2036(62) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Constraint Hierarchien und weiche Constraints. Ein erweiterbarer Ansatz

Grund, W.
IBM Deutschland Informationssysteme GmbH, Heidelberg (Germany). Inst. fuer Logik und Linguistik

January 1996

SIGLEAvailable from TIB Hannover: RR 6689(18)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

Combination of constraint systems

Kepser, S.

January 1998

Summary in GermanSIGLEAvailable from TIB Hannover: RR 7403(98,118) / FIZ - Fachinformationszzentrum ...

Erweiterte Methoden zur automatischen Gesichtserkennung

Eppler, T.
Gebhart, A.
Rosenstiel, W.
Tuebingen Univ. (Germany). Wilhelm-Schickard-Inst. fuer Informatik

January 1996

Available from TIB Hannover: RR 4367(96-20) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techn...

Automatisches Programmieren von Wartungswerkzeugen fuer Wissensbasen

Gastner, R.
Bayerisches Forschungszentrum fuer Wissensbasierte Systeme (FORWISS), Erlangen (Germany)

January 1993

Available from TIB Hannover: RO9940(1993-003) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

Ein UND-paralleles Ausfuehrungsmodell fuer logische Programme

Schwinn, B.
Kaiserslautern Univ. (Germany). Fachbereich Informatik

January 1985

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Kar...

Optimierung und Parallelisierung von Programmen auf der Ebene von Flussgraphen

Wedeck, J.
Rosenstiel, W.
Trautwein, C. (Tuebingen Univ. (Germany). Technische Informatik)
Technische Univ. Dresden (Germany). Sonderforschungsbereich 358 - Automatisierter Systementwurf, Synthese, Test, Verifikation dedizierte Anwendungen

January 1993

Available from TIB Hannover: RR 8747(93-6) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Techni...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Konfiguration und Gestaltung mit Constraintsystemen

Brey, M.

January 2003

Available from TIB Hannover: RO 2520(63) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Repraesentation von Constraints und Zielfunktionen

Funke, B.
Technische Hochschule Aachen (Germany). Lehr- und Forschungsgebiet der Unternehmensforschung

January 1994

Available from TIB Hannover: RR 5796(49) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisc...

Perspektiven und Parallelprojektionen

Nabert, R.
Paderborn Univ. (Gesamthochschule) (Germany). Fachbereich 17 - Mathematik-Informatik

January 1991

SIGLEAvailable from TIB Hannover: RR 1609(86) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Tec...

SYCON Ein Rahmensystem zur Constraint-Propagierung auf Netzwerken von beliebigen symbolischen Constraints

Fendler, M.
Wichiacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme
Deutsche Forschungsgemeinschaft (DFG), Bonn (Germany)

January 1985

TIB: RO 4626 (4)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informationsbibliot...

Entwurf komplexer Automatisierungssysteme Methoden, Anwendungen und Tools auf der Basis von Petri-Netzen und anderer formaler Beschreibungsmittel

Technische Univ. Braunschweig (Germany). Inst. fuer Regelungs- und Automatisierungstechnik

January 1993

Available from TIB Hannover: RR 1863(3) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technisch...

SYCON - Symbolische Constraint-Propagierung auf Netzwerken Entwurf und Implementierung

Fendler, M.
Wichlacz, R.
Saarland Univ., Saarbruecken (Germany). Sonderforschungsbereich 314 Kuenstliche Intelligenz - Wissensbasierte Systeme

January 1987

TIB Hannover: RO 3552(15) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische Informations...

Fallstudie zur Parallelisierung automatischer Beweisverfahren

Schwamborn, H.
Gesellschaft fuer Mathematik und Datenverarbeitung m.b.H. Bonn (GMD), St. Augustin (Germany)

January 1986

Copy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruh...