This document in subdirectory RS/03/34 / CCS with Hennessy’s Merge has no Finite Equational Axiomatization (909)
by
Luca Aceto
,
Willem Jan Fokkink
,
Anna Ingólfsdóttir
,
Bas Luttik
,
Luca Aceto
,
Willem Jan Fokkink
,
Bas Luttik
,
Luca Aceto
,
Wan Fokkink
,
Anna Ingólfsdóttir
,
Bas Luttik
BibTeX
@MISC{Aceto909thisdocument,
author = {Luca Aceto and Willem Jan Fokkink and Anna Ingólfsdóttir and Bas Luttik and Luca Aceto and Willem Jan Fokkink and Bas Luttik and Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
title = {This document in subdirectory RS/03/34 / CCS with Hennessy’s Merge has no Finite Equational Axiomatization},
year = {909}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS
