Monoids of non-halting programs with tests

• Gayatri Panicker ^[2] ; K. V. Krishna ^[2] ; Purandar Bhaduri ^[1]
  1. [1] Indian Institute of Technology Guwahati

     Indian Institute of Technology Guwahati

     India

     
  2. [2] Department of Mathematics, Indian Institute of Technology Guwahati, India
• Localización: Algebra universalis, ISSN 0002-5240, Vol. 79, Nº. 1, 2018, págs. 1-29
• Idioma: inglés
• DOI: 10.1007/s00012-018-0490-3
• Enlaces
  • Texto completo