Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00715806n
Noun Named Entity
Categories: Sistemas de reescrita de termos
PT
teorema de Church-Rosser
PT
O Teorema de Church-Rosser é um resultado de confluência para o cálculo lambda e também uma propriedade sobre sistemas de redução abstratos equivalente à confluência e a semi-confluência. Wikipedia
Definitions
Relations
Sources
PT
O Teorema de Church-Rosser é um resultado de confluência para o cálculo lambda e também uma propriedade sobre sistemas de redução abstratos equivalente à confluência e a semi-confluência. Wikipedia
IS A
teorema
NAMED AFTER
Alonzo Church
John Barkley Rosser
Wikipedia
PT
teorema de Church-Rosser
Wikidata
PT
Teorema de Church-Rosser

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License