ISBN: 9783540692010
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the Europe… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540692010
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the Europe… Mehr…
Springer.com Nr. 978-3-540-69201-0. Versandkosten:Worldwide free shipping, , zzgl. Versandkosten. Details... |
ISBN: 9783540692010
Computer Science; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540692010
Computer Science; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540692010
Computer Science; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540692010
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the Europe… Mehr…
ISBN: 9783540692010
This book constitutes the strictly refereed post-workshop proceedings of the 10th International Workshop on Computer Science Logic, CSL'96, held as the 5th Annual Conference of the Europe… Mehr…
ISBN: 9783540692010
Computer Science; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs… Mehr…
ISBN: 9783540692010
Computer Science; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs… Mehr…
ISBN: 9783540692010
Computer Science; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540692010
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-02-04T22:44:23+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-02T15:34:30+01:00 (Zurich)
ISBN/EAN: 9783540692010
ISBN - alternative Schreibweisen:
978-3-540-69201-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: van dalen
Titel des Buches: logic computer science
Daten vom Verlag:
Autor/in: Dirk van Dalen; Marc Bezem
Titel: Lecture Notes in Computer Science; Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Verlag: Springer; Springer Berlin
479 Seiten
Erscheinungsjahr: 2005-07-02
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 479 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Computer Science logics; Formal Logics; Formale Logiken; Informatiklogiken; Programmierlogiken; Programming Logics; Term Rewriting; Type Systems; Typensysteme; computer; logic; C; Computer System Implementation; Theory of Computation; Mathematical Logic and Formal Languages; Artificial Intelligence; Logics and Meanings of Programs; Computer System Implementation; Theory of Computation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Computer Science; Theoretische Informatik; Künstliche Intelligenz; BC
Four-valued diagnoses for stratified knowledge-bases.- Fast cut-elimination by projection.- On the subject reduction property for algebraic type systems.- Presheaf models for concurrency.- Directed virtual reductions.- Bounded-variable fixpoint queries are PSPACE-complete.- Graph rewriting semantics for functional programming languages.- An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory.- Relative undecidability in term rewriting.- Extending models of second order predicate logic to models of second order dependent type theory.- Eta-expansions in F ?.- Cut-free display calculi for relation algebras.- Computational aspects of arity hierarchies.- Weak semantics based on lighted button pressing experiments.- Kleene algebra with tests: Completeness and decidability.- Monadic NP and built-in trees.- Coercive subtyping in type theory.- Proofs in system F ? can be done in system F ? 1 .- Optimization problems with approximation schemes.- Computational representations of herbrand models using grammars.- Exact pairs for abstract bounded reducibilities.- The logic of explicitly presentation-invariant circuits.- Social confluence in client-server systems.- A type-free resource-aware ?-calculus.- Inductive definitions with decidable atomic formulas.- Call-by-Value, call-by-name and the logic of values.- On Cartesian monoids.- New intuitionistic logical constants: Undecidability of the conservativeness problem.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780471903093 International Conference on Data Bases: 2nd: Proceedings (The British Computer Society workshop series) (Editor-S.M. Deen; Editor-P. Hammersley)
- 9780471903093 International Conference on Data Bases: 2nd: Proceedings (The British Computer Society workshop series) (Editor-S.M. Deen; Editor-P. Hammersley)
- 9783540318972 Computer Science Logic als eBook Download von (Luke Ong)
- 9783540631729 computer-science-logic--10th-international-workshop--csl-96--annual-conference-of-the-eacsl---- (dirk-van-dalen-m-bezem-marc-b)
- 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)
- Computer Science Logic
< zum Archiv...