Authenticus:P-000-9ZW | CMUP

The decidability of a fragment of BB ' IW-logic

Theoretical Computer Science | 2004 | article

Publication

Year of publication: 2004

Volume : 318

Pages : 373-408

Month :

CMUP publication : Yes

Authors

L Damas

M Finger

PSE Silva