Mathematical Structures in Computer Science

Journal Article

J. Espírito Santo

R. Matthes

K. Nakazawa

L. Pinto

Publication

Year of publication: 2013

Volume: 23

Issue: 6

Pages: 1111-1162

Identifiers

Other: 2-s2.0-84887006222

Locators

DOI: 10.1017/S0960129512000436

Alternative Titles