On Eight Equational Axiomatisations for Fork Algebras: Equivalence and Independence
Autores
|
1001 |
179
|
Informações:
Publicações do PESC
Título
On Eight Equational Axiomatisations for Fork Algebras: Equivalence and Independence
Linha de pesquisa
Tipo de publicação
Relatório Técnico
Número de registro
ES-466/98
Data
4/1998
Resumo
Abstract
Arquivo