2003, ISBN: 9783540481683
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, eBooks, eBook Download (PDF), The 1999 Annual Conference of the… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - neues Buch
ISBN: 9783540481683
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999.CSL'99 was the 13th in a series of annual me… Mehr…
hive.co.uk No. 9783540481683. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540481683
Computer Science Logic ab 96.49 € als pdf eBook: 13th International Workshop CSL'99 8th Annual Conference of the EACSL Madrid Spain September 20-25 1999 Proceedings. Aus dem Bereich: eBoo… Mehr…
Hugendubel.de Nr. 33672390. Versandkosten:, , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540481683
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg],… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
ISBN: 9783540481683
Computer Science Logic - 13th International Workshop CSL'99 8th Annual Conference of the EACSL Madrid Spain September 20-25 1999 Proceedings: ab 96.49 € Medien > Bücher > E-books, [PU: Sp… Mehr…
eBook.de Nr. 33672390. Versandkosten:, , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540481683
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, eBooks, eBook Download (PDF), The 1999 Annual Conference of the… Mehr…
M. Metzler:
Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - neues BuchISBN: 9783540481683
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999.CSL'99 was the 13th in a series of annual me… Mehr…
ISBN: 9783540481683
Computer Science Logic ab 96.49 € als pdf eBook: 13th International Workshop CSL'99 8th Annual Conference of the EACSL Madrid Spain September 20-25 1999 Proceedings. Aus dem Bereich: eBoo… Mehr…
2003, ISBN: 9783540481683
13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg],… Mehr…
ISBN: 9783540481683
Computer Science Logic - 13th International Workshop CSL'99 8th Annual Conference of the EACSL Madrid Spain September 20-25 1999 Proceedings: ab 96.49 € Medien > Bücher > E-books, [PU: Sp… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540481683
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-06-04T11:09:00+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-11-09T16:38:44+01:00 (Zurich)
ISBN/EAN: 9783540481683
ISBN - alternative Schreibweisen:
978-3-540-48168-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: logic computer science, spain madrid
Daten vom Verlag:
Autor/in: Jörg Flum; Mario Rodriguez-Artalejo
Titel: Lecture Notes in Computer Science; Computer Science Logic - 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Verlag: Springer; Springer Berlin
588 Seiten
Erscheinungsjahr: 2003-07-31
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XII, 588 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; AI Logic; Computer Science Logic; Division; Erlang; Formal Logic; Mathematical Logic; Programming Theory; Resolution; complexity; complexity theory; databases; interactive theorem proving; lambda calculus; programming language; theorem proving; C; Theory of Computation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Computer Science; Künstliche Intelligenz; Mathematik: Logik; Mathematische Grundlagen; BC
Invited Papers.- Topological Queries in Spatial Databases.- The Consistency Dimension, Compactness, and Query Learning.- Descriptive and Parameterized Complexity.- Logical Specification of Operational Semantics.- Constraint-Based Analysis of Broadcast Protocols.- Contributed Papers.- Descriptive Complexity Theory for Constraint Databases.- Applicative Control and Computational Complexity.- Applying Rewriting Techniques to the Verification of Erlang Processes.- Difference Decision Diagrams.- Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.- Verifying Liveness by Augmented Abstraction.- Signed Interval Logic.- Quantitative Temporal Logic.- An Expressively Complete Temporal Logic without Past Tense Operators for Mazurkiewicz Traces.- Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting.- Closed Reductions in the ?-Calculus.- Kripke Resource Models of a Dependently-Typed, Bunched ?-Calculus (Extended Abstract).- A Linear Logical View of Linear Type Isomorphisms.- Choice Logic Programs and Nash Equilibria in Strategic Games.- Resolution Method for Modal Logic with Well-Founded Frames.- A NExpTime-Complete Description Logic Strictly Contained in C 2.- A Road-Map on Complexity for Hybrid Logics.- MonadicNLIN and Quantifier-Free Reductions.- Directed Reachability: From Ajtai-Fagin to Ehrenfeucht-Fraïssé Games.- Fixpoint Alternation and the Game Quantifier.- Lower Bounds for Space in Resolution.- Program Schemes, Arrays, Lindström Quantifiers and Zero-One Laws.- Open Least Element Principle and Bounded Query Computation.- A Universal Innocent Game Model for the Böhm Tree Lambda Theory.- Anti-Symmetry of Higher-Order Subtyping.- Safe Proof Checking in Type Theory with Y.- Monadic Presentations ofLambda Terms Using Generalized Inductive Types.- A P-Time Completeness Proof for Light Logics.- On Guarding Nested Fixpoints.- A Logical Viewpoint on Process-Algebraic Quotients.- A Truly Concurrent Semantics for a Simple Parallel Programming Language.- Specification Refinement with System F.- Pre-logical Relations.- Data-Refinement for Call-By-Value Programming Languages.- Tutorials.- Tutorial on Term Rewriting.- Tutorial on Interactive Theorem Proving Using Type Theory.Includes supplementary material: sn.pub/extras
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)
- 9783540665366 Computer Science Logic (Jörg Flum/ Mario Rodriguez-Artalejo)
- 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...