Author:
Lawrence Andrew,Berger Ulrich,Seisenberger Monika
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. An arithmetic for non-size-increasing polynomial-time computation;Aehlig;Theoretical Computer Science,2004
2. Proof theory at work: Program development in the Minlog system;Benl,1998
3. Program extraction from normalization proofs;Berger;Studia Logica,2006
4. Minlog – A Tool for Program Extraction Supporting Algebras and Coalgebras;Berger,2011
5. The Warshall algorithm and Dicksonʼs lemma: Two examples of realistic program extraction;Berger;Journal of Automated Reasoning,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献