oppure
Accedi per attivare gli ordini 1-Click.
oppure
Sì, voglio provare gratuitamente
Amazon Prime!
Altre opzioni di acquisto
Ne hai uno da vendere? Vendi i tuoi articoli qui
Ci dispiace. Questo articolo non è disponibile in
Immagine non disponibile per
Colore:

 
Dillo alla casa editrice.
Vorrei leggere questo libro su Kindle

Non hai un Kindle? Scopri Kindle, oppure scarica l'applicazione di lettura Kindle GRATUITA.

Nondeterminism and Language Design in Deep Inference: A Proof Theoretic Approach to Logic Programming [Copertina flessibile]

Ozan Kahramanogullari

Prezzo: EUR 76,02 Spedizione gratuita. Dettagli
  Tutti i prezzi includono l'IVA.
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Disponibilità immediata.
Venduto e spedito da Amazon. Confezione regalo disponibile.
Vuoi riceverlo mercoledì 8 ottobre? Ordina entro e scegli la spedizione 1 giorno. Dettagli

Descrizione del libro

3 luglio 2012
In deep inference, in contrast to traditional proof-theoretic methodologies, inference rules can be applied at any depth inside logical expressions. This makes it possible to design deductive systems that are tailored for computer science applications and otherwise provably not expressible. With deep inference, we can simulate analytic proofs in traditional deductive formalisms, and also construct much shorter analytic proofs. However, deep applicability of inference rules causes a greater nondeterminism in proof construction. This thesis studies the problem of dealing with nondeterminism in proof search while preserving the shorter proofs. By redesigning the deductive systems, some redundant rule applications are prevented. By introducing a new technique which reduces nondeterminism, it becomes possible to obtain a more immediate access to shorter proofs without breaking proof theoretic properties such as cut-elimination. Different implementations presented allow to perform experiments and observe the performance improvements. Within a computation-as-proof-search perspective, we use these deductive systems to develop a common proof-theoretic language for planning and concurrency.

Descrizione prodotto

L'autore

Obtained a BSc in mathematics and a PhD in computer science. He worked as a researcher at Imperial College in collaboration with Microsoft Research Cambridge in a joint project on systems biology, and at The Microsoft Research – University of Trento COSBI. His main research interests include proof theory, formal methods and their applications.

Dettagli prodotto


Vendi la versione digitale di questo libro nel Kindle Store

Se sei un editore o un autore e detieni i diritti digitali di un libro, puoi vendere la versione elettronica nel Kindle Store. Maggiori informazioni

Recensioni clienti

Non sono ancora presenti recensioni clienti.
5 stelle
4 stelle
3 stelle
2 stelle
1 stella

Ricerca articoli simili per categoria