Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
 

Ergebnis der Suche nach: dcs=004*



Treffer 12027 von 12212 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4117189-5
Sachbegriff Termersetzungssystem
Quelle Lex. Informatik unter Ersetzungssystem
Erläuterungen Definition: Reduktionssysteme, die Terme auf eine minimale Form reduzieren
Synonyme Termreduktionssystem
Term rewriting system
Termersetzung (Quasisynonym)
Term rewriting
Oberbegriffe Reduktionssystem
DDC-Notation 005.131
004.015113
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Rewriting systems (Computer science)
RAMEAU: Réécriture, Systèmes de (informatique)
Untergeordnet 1 Datensatz
  1. Bedingtes Termersetzungssystem
    Termersetzungssystem
Thema in 75 Publikationen
  1. Extensional paramodulation for higher-order logic and its effective implementation Leo-III
    Steen, Alexander. - Berlin : Akademische Verlagsgesellschaft AKA GmbH, [2018]
  2. Rewriting logic and its applications
    Berlin : Springer, 2012
  3. ...
Maschinell verknüpft mit 1 Publikation
  1. Dynamic task scheduling and binding for many-core systems through stream rewriting
    Middendorf, Lars. - Rostock : Universität Rostock, 2015





Treffer 12027 von 12212
< < > <


E-Mail-IconAdministration