Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783659134753

Книга ISBN13 9783659134753 - Nondeterminism and Language Design in Deep Inference (Ozan Kahramanogullar?) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: Nondeterminism and Language Design in Deep Inference
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...
Авторы: Ozan Kahramanogullar?
Издательство: LAP Lambert Academic Publishing
Год: 2012
Местонахождение: OZON.ru
ISBN: 9783659134753


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.