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.) - BABEL - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2016-05-31 08:04:56 Open Document File Size: 368,11 KB Share Result on Facebook

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