Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Predicative Analysis of Structural Recursion
 

Summary: Slide 1
A Predicative Analysis
of Structural Recursion
Andreas Abel
November 19, 1999
he termintion heker foetus
oundness of struturl reursion y n
impreditive semnti nlysis
e preditive semnti nlysis
Slide 2
Motivation (1): Division by 2
hlf H a H
hlf I a H
hlf nCP a @hlf nACI
hlf9 a RN
(xB
. 0) (xN
fBN
. RB
(f true) (1 + (f flse)))

  

Source: Abel, Andreas - Theoretische Informatik, Ludwig-Maximilians-Universit√§t M√ľnchen

 

Collections: Computer Technologies and Information Sciences