Czech E-graf Cited by user Jan Růžička on 01 Sep 2021 V [[Matematická informatika|informatice]] je '''e-graf''' [[datová struktura]], která ukládá relaci ekvivalence nad [[Term|termy]] nějakého jazyka.
English De Bruijn index Cited by user Mathnerd314159 on 18 Aug 2021 In mathematical logic, the De Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms of lambda calculus without…