Structural induction on partial algebras

Materias

• Induction (Mathematics)
• Partial algebras
• Algebra
• Data processing
• Universal Algebra
• Abstract data types (Computer science)
• Categories (Mathematics)

Ediciones (2)

• Structural induction on partial algebras (1984)

  Akademie-Verlag · inglés

• Structural induction on partial algebras (1984)

  Akademie-Verlag · inglés

Más obras de Horst Reichel

STACS 2001

Informatik -- Wirtschaft -- Gesellschaft

IIntroduction to theory and application of partial algebras

Introduction to theory and application of partial algebras