search result

Cover von Proof Pearl

Proof Pearl

Faithful Computation and Extraction of μ-Recursive Algorithms in Coq
Year: 2023
Media group: LIPIcs
Cover von Understanding formal methods
Author: Monin, Jean-Francois Search for this author
Year: 2003
Publisher: London, Springer
Media group: MONOGRAPHIE
Cover von Agents et codes mobiles; 6
S. 765 - 924
Search for this author
Year: 2002
Publisher: Paris, Hermes Science Publications
Count: 6
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0