Combination Problems for Commutativef0003/Monoidal Theories or How Algebra Can Help in Equational Unification

Imagen
Descripción
Autoría	autor: Werner Nutt  Franz Baader
Fecha de publicación	1 de junio de 1996
Idioma
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Private domain
¿Datos faltantes/errados?	Editar ítem de Wikidata