ISBN: 9783540557890
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…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540557890
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-55789-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1991, ISBN: 9783540557890
[Munich: Goethe Institut, 1966. 104 p. (Munich Germany)/ Selected and commentated by Hans Richter. Designed by Vogel and Besemer, Cologne. illus., facsims., plates, ports. 21 x 22 cm. En… Mehr…
usa, usa | Biblio.co.uk |
ISBN: 9783540557890
*Computer Science Logic* - 5th Workshop CSL '91 Berne Switzerland October 7-11 1991. Proceedings. Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & In… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1991, ISBN: 9783540557890
Springer, 1992-10-08. 1992. Paperback. Used:Good., Springer, 1992-10-08, 0
Biblio.co.uk |
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Egon Börger Editor - neues Buch
ISBN: 9783540557890
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: 9783540557890
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…
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1991
ISBN: 9783540557890
[Munich: Goethe Institut, 1966. 104 p. (Munich Germany)/ Selected and commentated by Hans Richter. Designed by Vogel and Besemer, Cologne. illus., facsims., plates, ports. 21 x 22 cm. En… Mehr…
ISBN: 9783540557890
*Computer Science Logic* - 5th Workshop CSL '91 Berne Switzerland October 7-11 1991. Proceedings. Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & In… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540557890
ISBN (ISBN-10): 354055789X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin Heidelberg
440 Seiten
Gewicht: 0,661 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-14T14:11:47+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-22T14:31:59+01:00 (Vienna)
ISBN/EAN: 9783540557890
ISBN - alternative Schreibweisen:
3-540-55789-X, 978-3-540-55789-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: egon börger, jaeger michael, michael jäger, gerhard richter, klein hans, egon jger, egon brger, kleine büning, ger hans, borger, boerger, bunin, richter will, rger, hans see, kleene
Titel des Buches: berne, logic computer science, october, hans richter, 626
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: 1992-09-10
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 431 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Resolution; complexity; computer; computer science; logic; petri net; semantics; term rewriting; algorithm analysis and problem complexity; Theory of Computation; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Mathematik: Logik; Mathematische Grundlagen; Algorithmen und Datenstrukturen; EA
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)
- 9783540318972 Computer Science Logic als eBook Download von (Luke Ong)
- 9783540544876 Computer Science Logic (Egon Börger/ Hans Kleine-Büning/ Michael M. Richter)
- 9783540230243 Computer Science Logic (Jerzy Marcinkowski)
- 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)
< zum Archiv...