Skip to main navigation Skip to search Skip to main content

The semantics of BI and resource tableaux

D. Galmiche, D. Mery, D. Pym

Research output: Contribution to journal › Article › peer-review

32   Link opens in a new tab Citations (SciVal)

Fingerprint

Dive into the research topics of 'The semantics of BI and resource tableaux'. Together they form a unique fingerprint.
Sort by

Computer Science

Mathematics