HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

About implementation of primitive recursive algorithms

Philippe Andary 1 Bruno Patrou 1 Pierre Valarcher 2
1 LIFAR - Laboratoire d'informatique fondamentale et appliquée de Rouen
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-00083380
Contributor : Pierre Valarcher Connect in order to contact the contributor
Submitted on : Friday, June 30, 2006 - 11:34:01 AM
Last modification on : Tuesday, October 19, 2021 - 4:15:10 PM

Identifiers

  • HAL Id : hal-00083380, version 1

Collections

LACL | CNRS | UPEC | UPEC-UPEM | COMUE-NORMANDIE | UNIROUEN

Citation

Philippe Andary, Bruno Patrou, Pierre Valarcher. About implementation of primitive recursive algorithms. International Workshop on Abstract State Machine, 2005, Paris, France. ⟨hal-00083380⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

76