The Calculi of Lambda Conversion. (AM-6)


Author: Alonzo Church
Publisher: Princeton University Press
ISBN: 1400881935
Category: Mathematics
Page: 77
View: 4834

Continue Reading →

The description for this book, The Calculi of Lambda Conversion. (AM-6), Volume 6, will be forthcoming.

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Author: Gilles Dowek
Publisher: Springer
ISBN: 3319089188
Category: Mathematics
Page: 491
View: 8875

Continue Reading →

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.

Theoretische Informatik

Eine umfassende Einführung
Author: Katrin Erk,Lutz Priese
Publisher: Springer-Verlag
ISBN: 3662104296
Category: Computers
Page: 433
View: 3036

Continue Reading →

Diese Einführung in die Theoretische Informatik zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz.

LISP

Eine Einführung in die Programmierung
Author: Herbert Stoyan,Günter Görz
Publisher: Springer-Verlag
ISBN: 3642714552
Category: Computers
Page: 360
View: 8627

Continue Reading →

ARSP


Author: Josef Kohler,Fritz Berolzheimer
Publisher: N.A
ISBN: N.A
Category: Law
Page: N.A
View: 780

Continue Reading →

Theory of Computing and Systems

ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992
Author: Danny Dolev,Zvi Galil,Michael Rodeh
Publisher: Springer Verlag
ISBN: N.A
Category: Computers
Page: 220
View: 6892

Continue Reading →

"ISTCS '92, the Israel Symposium on the Theory of Computing and Systems, cameabout spontaneously as a result of informal interaction between a group of people who viewed the conference as an appropriate expression of Israeli strength in theoretical aspects of computing and systems. The enthusiasm that the symposium created resulted in the submission of a large number of extremely high quality papers, which led in turn to strict acceptance criteria. This volume contains nineteen selected papers representing the cream of Israeli talent in the field, on a variety of active and interesting topics in the theory of computing and systems."--PUBLISHER'S WEBSITE.

Report CS-R


Author: Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) Dept. of Computer Science
Publisher: N.A
ISBN: N.A
Category: Computers
Page: N.A
View: 1226

Continue Reading →

Die Grundlagen der Arithmetik

Eine Logisch Mathematische Untersuchung Über den Begriff der Zahl (Classic Reprint)
Author: Gottlob Frege
Publisher: Forgotten Books
ISBN: 9781396467271
Category: Philosophy
Page: 152
View: 809

Continue Reading →

Excerpt from Die Grundlagen der Arithmetik: Eine Logisch Mathematische Untersuchung Über den Begriff der Zahl Auf die Frage, was die Zahl Eins sei, oder was das Zeichen 1 bedeute, wird man meistens die Antwort erhalten: nun, ein Ding. Und wenn man dann darauf aufmerksam macht, dass der Satz. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.