Back to Results
First PageMeta Content
Structural induction / Mathematical proof / Mathematical induction / Well-quasi-ordering / Axiom of choice / Recursion / Intuitionistic type theory / Well-founded relation / Bar induction / Mathematics / Mathematical logic / Logic


Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea
Add to Reading List

Document Date: 2006-06-27 17:59:13

Open Document

File Size: 131,63 KB

Share Result on Facebook

/

Facility

University of Munich / Bar A∗ / csmona}@swansea.ac.uk University of Wales Swansea Abstract / /

IndustryTerm

program computing indices / /

Organization

University of Munich / University of Wales Swansea Abstract / /

Person

Ulrich Berger / Monika Seisenberger / /

Position

Constable / first author / /

URL

www.minlog-system.de / /

SocialTag