An Action Semantics for STG (2000)

Cached

Download Links

by Francisco Heron de Carvalho-Junior , Hermano Perreli de Moura , Ricardo Massa Ferreira Lima , Rafael Dueire Lins
Venue:BRICS NOTES SERIES (THIRD INTERNATIONAL WORKSHOP ON ACTION SEMANTICS - AS'2000)