- Tytuł:
- On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Binabou theories
- Autorzy:
-
Vidal, J.
Tur, J. - Data publikacji:
- 2006
- Słowa kluczowe:
-
Hall algebra
Binabou algebra
Many-sorted algebra
term
equation
many-sorted equanational completness
Binabou theory - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł