Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 106 von 623 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4699924-3
Sachbegriff Church-Rosser-Theorem
Quelle Internet
Erläuterungen Definition: Das Church-Rosser-Theorem besagt, dass die Relation R, mit E1 R E2 g.d.w. E2 durch Beta-Reduktion aus E1 entstanden ist, die Rauten-Eigenschaft besitzt.
Oberbegriffe Lambda-Kalkül
DDC-Notation 511.35
Systematik 28 Mathematik ; 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)





Treffer 106 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration