ISBN: 9783540485995
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK i… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540485995
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK i… Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540485995
Computer Science; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Art… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten Details... |
ISBN: 9783540485995
Computer Science; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Art… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540485995
Computer Science; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Art… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540485995
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK i… Mehr…
ISBN: 9783540485995
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK i… Mehr…
ISBN: 9783540485995
Computer Science; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Art… Mehr…
ISBN: 9783540485995
Computer Science; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Art… Mehr…
ISBN: 9783540485995
Computer Science; Theory of Computation; Logics and Meanings of Programs; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Computation by Abstract Devices; Art… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540485995
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-06-04T10:59:12+02:00 (Zurich)
Detailseite zuletzt geändert am 2021-10-20T08:43:51+02:00 (Zurich)
ISBN/EAN: 9783540485995
ISBN - alternative Schreibweisen:
978-3-540-48599-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: gurevich
Titel des Buches: logic computer science
Daten vom Verlag:
Autor/in: Egon Börger; Yuri Gurevich; Karl Meinke
Titel: Lecture Notes in Computer Science; Computer Science Logic - 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Verlag: Springer; Springer Berlin
336 Seiten
Erscheinungsjahr: 2006-04-11
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 336 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; CSL; Computer Science Logic; Horn Clauses; Horn-Klauseln; Informatik-Logik; Lambda Calculi; Lambda-Kalküle; Mathematical Logic; Program Semantics; computer; computer science; lambda calculus; logic; C; Theory of Computation; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; BC
The complexity of set constraints.- On duality for the modal ?-calculus.- Short proofs of tautologies using the schema of equivalence.- Process algebra with combinators.- Is game semantics necessary?.- The model theory of concurrency.- From semantics to rules: A machine assisted analysis.- On the reasons for average superlinear speedup in parallel backtrack search.- Negation as inconsistency in PROLOG via intuitionistic logic.- Approximable minimization problems and optimal solutions on random inputs.- Bounded-arity hierarchies in fixed-point logics.- Petri nets and the equivalence problem.- Logical aspects of set constraints.- Oracles and quantifiers.- A Horn clause that implies an undecidable set of Horn clauses.- Higher-order action calculi.- A generic strong normalization argument: Application to the Calculus of Constructions.- Data types, infinity and equality in system AF 2.- Normalization for typed lambda calculi with explicit substitution.- Program transformation and proof transformation.- Incorporating generalized quantifiers and the least fixed point operator.- “The semantics of the C programming language”.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540582779 Computer Science Logic (Egon Börger; Yuri Gurevich; Karl Meinke)
- 9783540282310 Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Luke O (Luke Ong)
- 9783540230243 Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceeding (Jerzy Marcinkowski)
- Computer Science Logic
< zum Archiv...