Livraison gratuite à partir de 69.99 euros.

Vérifier l'état de la commande

Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement

Livraison gratuite avec Zásilkovna à partir de 69.99 €

Coursier DPD 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Livraison gratuite à partir de 69.99 euros.

Subrecursive Programming Systems

Name: Subrecursive Programming Systems
Brand: Springer, Berlin
SKU: 06794863
Price: 102.52 EUR
Availability: InStock
Author: James S. Royer
ISBN: 9781461266808

Complexity & Succinctness

James S. Royer

John Case

Langue

Anglais

Livre Livre de poche

Code Libristo: 06794863

Éditeurs Springer, Berlin, janvier 2013

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/pr... Description détaillée

Code Libristo: 06794863

249 b

102.52 €

Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Pratiques d'automédication et de stockage des médicaments Kanishka Neyana

Livre de poche

39.07 €

Mondes en développement n° 201 - VARIA

Livre de poche

46.93 €

L'histoire des sciences et les prétentions de la science allemande Emile Picard

Livre de poche

16.81 €

CALENDRIER FETES TRADITIONNELLES BERTRAND-DEVILLER ARNAUD

Livre de poche

17.31 €

Царевны. Удивительные приключения

Livre relié

14.90 €

Vemeno vzpomínek a vzpomínky vemínek CHARLIE MONROE

Livre de poche

6.44 €

Ema a její kouzelná zoo - Mazlivá koala Amelia Cobb

Livre relié

8.35 €

Coloriages mystères Disney - Grands classiques Tome 13 Jérémy Mariez

Livre de poche

20.34 €

Cloud 10 Chip Wickham

CD Audio

13.79 €

Mery Sales Chirivella Soriano

Livre de poche

22.25 €

Lettres d'adieux au marketing Denis Gancel

Livre de poche

14.80 €

Vocabulario Portugues Brasileiro-Birmanes - 9000 palavras Andrey Taranov

Livre de poche

19.93 €

Domácí prac. sešit Čeština Shoda podmětu s přísudkem 3 tř. Michaela Bečková

Livre de poche

3.62 €

Vers Le Pole En Aeroplane: Roman d'Aventures Gilbert

Livre de poche

16.91 €

San Juan de Dios : la imagen del santo de Granada Juan Miguel Larios Larios

Livre de poche

18.42 €

Santos : tesoros de la iglesia María José . . . [et al. ] Monfort Jiménez

Livre de poche

28.19 €

Atul Dodiya

Livre de poche

11.07 €

Physisches Cash-Pooling im GmbH-Konzern Juliane Viereck

Livre de poche

59.52 €

Reittourismus in Deutschland Dana Tennstedt

Livre de poche

49.54 €

Analyse von Einzelcoachings Nuray Pekdemir

Livre de poche

17.01 €

Worte der Vollendung Gautama Buddha

Livre de poche

11.57 €

1.1. What This Book is About This book is a study of subrecursive programming systems, efficiency/program-size trade-offs between such systems, and how these systems can serve as tools in complexity theory. Section 1.1 states our basic themes, and Sections 1.2 and 1.3 give a general outline of the book. Our first task is to explain what subrecursive programming systems are and why they are of interest. 1.1.1. Subrecursive Programming Systems A subrecursive programming system is, roughly, a programming language for which the result of running any given program on any given input can be completely determined algorithmically. Typical examples are: 1. the Meyer-Ritchie LOOP language [MR67,DW83], a restricted assem bly language with bounded loops as the only allowed deviation from straight-line programming; 2. multi-tape 'lUring Machines each explicitly clocked to halt within a time bound given by some polynomial in the length ofthe input (see [BH79,HB79]); 3. the set of seemingly unrestricted programs for which one can prove 1 termination on all inputs (see [Kre51,Kre58,Ros84]); and 4. finite state and pushdown automata from formal language theory (see [HU79]). lOr, more precisely, the collection of programs, p, ofsome particular general-purpose programming language (e.g., Lisp or Modula-2) for which there is a proof in some par ticular formal system (e.g., Peano Arithmetic) that p halts on all inputs.