Testing for edge terms is decidable

• Jonah Horowitz ^[1]
  1. [1] Ryerson University

     Ryerson University

     Canadá

     
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 73, Nº. 3-4, 2015, págs. 321-334
• Idioma: inglés
• DOI: 10.1007/s00012-015-0325-4
• Enlaces
  • Texto completo