Term context

DOI10.2478/FORMA-2014-0015zbMath1352.08005OpenAlexW4246045306MaRDI QIDQ502697

Grzegorz Bancerek

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0015

zbMATH Keywords

translationendomorphismcontextconstruction degree

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Automorphisms and endomorphisms of algebraic structures (08A35)

Uses Software

• Mizar

Cites Work

• Constructing binary Huffman tree
• Free Term Algebras
• Semantics of MML Query - Ordering
• Veblen Hierarchy
• Unnamed Item

This page was built for publication: Term context