Publication:5663463

zbMath0249.73043MaRDI QIDQ5663463

Christian Huet

Publication date: 1972

Mathematics Subject Classification ID

74D99: Materials of strain-rate type and history type, other materials with memory (including elastic materials with viscous damping, various viscoelastic materials)

Related Items

A unification algorithm for typed \(\bar\lambda\)-calculus