Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.)

First Page		Document Content
Date: 2016-05-31 08:04:56		Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.) Add to Reading List Source URL: babel.ls.fi.upm.es Download Document from Source Website File Size: 368,11 KB Share Document on Facebook