The Calculi of Lambda Conversion. (AM-6)

Author: Alonzo Church

Publisher: Princeton University Press

ISBN: 1400881935

Category: Mathematics

Page: 77

View: 3185

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: 7299

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: 9866

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: 6188

ARSP

Author: Josef Kohler,Fritz Berolzheimer

Publisher: N.A

ISBN: N.A

Category: Law

Page: N.A

View: 9758

A theory of formal deducibility

Author: Haskell Brooks Curry

Publisher: N.A

ISBN: N.A

Category: Logic, Symbolic and mathematical

Page: 126

View: 3170

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: 7887

"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: 2649

Grundzüge der theoretischen Logik

Author: David Hilbert,Wilhelm Ackermann

Publisher: Springer-Verlag

ISBN: 3662419289

Category: Mathematics

Page: 136

View: 547

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.