Semantics of non-terminating rewrite systems using minimal coverings Artigo Académico uri icon

autores

  • JOSÉ BERNARDO DOS SANTOS MONTEIRO VIEIRA DE BARROS
  • joseph goguen

data de publicação

  • janeiro 1, 1996