The Calculi of Lambda Conversion. (AM-6)


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

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

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

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

Continue Reading →

ARSP


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

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

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

Continue Reading →