ISBN: 9783540472858
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540472858
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540472858
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
Springer.com Nr. 978-3-540-47285-8. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540472858
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Compl… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540472858
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Compl… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540472858
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter:
Computer Science Logic - neues BuchISBN: 9783540472858
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
ISBN: 9783540472858
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
ISBN: 9783540472858
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Compl… Mehr…
ISBN: 9783540472858
Computer Science; Theory of Computation; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Compl… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540472858
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2016-12-28T17:01:26+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-14T15:23:09+01:00 (Zurich)
ISBN/EAN: 9783540472858
ISBN - alternative Schreibweisen:
978-3-540-47285-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hans jäger, hans richter, jäger gerhard, michael richter, büning, kleine
Titel des Buches: logic computer science
Daten vom Verlag:
Autor/in: Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter
Titel: Lecture Notes in Computer Science; Computer Science Logic - 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Verlag: Springer; Springer Berlin
431 Seiten
Erscheinungsjahr: 2005-11-19
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 431 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Resolution; complexity; computer; computer science; logic; petri net; semantics; term rewriting; algorithm analysis and problem complexity; C; Theory of Computation; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Computer Science; Mathematik: Logik; Mathematische Grundlagen; Algorithmen und Datenstrukturen; BC
The expressive power of transitive closure and 2-way multihead automata.- Correctness proof for the WAM with types.- Model checking of persistent Petri nets.- Provability in TBLL: A decision procedure.- How to implement first order formulas in local memory machine models.- A new approach to abstract data types II computation on ADTs as ordinary computation.- A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation.- On bounded theories.- The cutting plane proof system with bounded degree of falsity.- Denotational versus declarative semantics for functional programming.- On transitive closure logic.- Some aspects of the probabilistic behavior of variants of resolution.- Safe queries in relational databases with functions.- Logical inference and polyhedral projection.- Stable logic.- A transformational methodology for proving termination of logic programs.- Plausibility logic.- Towards Kleene Algebra with recursion.- Equational specification of abstract types and combinators.- Normal forms in infinite-valued logic: The case of one variable.- A fragment of first order logic adequate for observation equivalence.- Ordinal processes in comparative concurrency semantics.- Logical semantics of modularisation.- A cut-elimination procedure designed for evaluating proofs as programs.- Minimal from classical proofs.- Quantifier hierarchies over word relations.- Complexity results for the default- and the autoepistemic logic.- On Completeness for NP via projection translations.- Control of ?-automata, Church's problem, and the emptiness problem for tree ?-automata.- Comparing the theory of representations and constructive mathematics.- Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic.-On completeness of program synthesis systems.- Proving termination for term rewriting systems.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)
- 9783540557890 Computer Science Logic (Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter)
- 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...