Projects top banner

The decidability of a fragment of BB′IW-logic

Theoretical Computer Science

Article

L. Damas

M. Finger

P. Silva e Silva

Publication

Year of publication: 2004

Volume: 318

Issue: 3

Pages: 373-408

Identifiers

Other: 2-s2.0-2442440701

Locators

Alternative Titles

Preprint

File