Philippe Andary et al.: About Implementation of Primitive Recursive Algorithms. (2005)conf/asm/AndaryPV05About Implementation of Primitive Recursive Algorithms.3Philippe Andary1Bruno Patrou2Pierre Valarcher377-90Abstract State MachinesAbstract State Machines20052005provenance information for RDF data of dblp record 'conf/asm/AndaryPV05'2007-07-26T15:03:06+0200