SODA

A note on negative tagging for least fixed-point formulae

Gurov, Dilian and Kapron, Bruce (1999) A note on negative tagging for least fixed-point formulae. RAIRO-Theoretical Informatics and Applications, 33 (4/5). pp. 383-392.

Full text not available from this repository.


Item Type:Article
ID Code:3216
Deposited By:INVALID USER
Deposited On:17 Jun 2009
Last Modified:18 Nov 2009 16:19

Repository Staff Only: item control page