Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
  1. SucheSuchen         
  2. SoSe 2024
  3. Hilfe
  4. Sitemap
Switch to english language
Startseite    Anmelden     

Ground Reducibility Tests - Even for Nonlinear Term Rewriting Systems (Forschungsbericht) - Einzelansicht


  • Funktionen:

Grunddaten

Titel der Arbeit (title) Ground Reducibility Tests - Even for Nonlinear Term Rewriting Systems
Erscheinungsjahr 1993
Institution (institution) Fraunhofer IESE, Germany
Band-Heft-Nr SR-93-11 (SFB)
Typ (type) SEKI Report
Publikationsart Forschungsbericht

Beteiligte Personen

Schmid, Klaus, Professor Dr.  

Einrichtung

Abt. Software Systems Engineering
Impressum      Datenschutzerklärung     Datenschutz      Datenschutzerklärung     Erklärung zur Barrierefreiheit