Implication triples versus adjoint triples
ISSN: 0302-9743, 1611-3349
ISBN: 9783642214974
Année de publication: 2011
Volumen: 6692 LNCS
Número: PART 2
Pages: 453-460
Type: Communication dans un congrès
ISSN: 0302-9743, 1611-3349
ISBN: 9783642214974
Année de publication: 2011
Volumen: 6692 LNCS
Número: PART 2
Pages: 453-460
Type: Communication dans un congrès