ISBN: 9783540685074
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Ger… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685074
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence (… Mehr…
Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540685074
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence (… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685074
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence (… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540685074
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Ger… Mehr…
ISBN: 9783540685074
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence (… Mehr…
ISBN: 9783540685074
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence (… Mehr…
ISBN: 9783540685074
Computer Science; Theory of Computation; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence (… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540685074
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-02-04T22:44:24+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-11-01T01:07:18+01:00 (Vienna)
ISBN/EAN: 9783540685074
ISBN - alternative Schreibweisen:
978-3-540-68507-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kleine
Titel des Buches: logic computer science
Daten vom Verlag:
Autor/in: Hans Kleine Buening
Titel: Lecture Notes in Computer Science; Computer Science Logic - 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
Verlag: Springer; Springer Berlin
492 Seiten
Erscheinungsjahr: 2005-07-06
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 492 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; computer; formal language; logic; proof theory; proving; selection; theorem proving; C; Theory of Computation; Compilers and Interpreters; Computer System Implementation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Computer Science; Compiler und Übersetzer; Systemanalyse und -design; Künstliche Intelligenz; BC
Incompleteness of a first-order gödel logic and some temporal logics of programs.- Semantics of non-terminating rewrite systems using minimal coverings.- Congruence Types.- Deduction by combining semantic tableaux and integer programming.- leanEA: A lean evolving algebra compiler.- A proof system for finite trees.- Representing unification in a logical framework.- Decision procedures using model building techniques.- A note on the relation between polynomial time functionals and Constable's class K.- First order logic, fixed point logic and linear order.- Simultaneous rigid E-unification is undecidable.- An evolving algebra abstract machine.- Rewriting with extensional polymorphic ?-calculus.- Languages and logical definability in concurrency monoids.- Generalized implicit definitions on finite structures.- The railroad crossing problem: An experiment with instantaneous actions and immediate reactions.- A logical aspect of parametric polymorphism.- On the modal logic K plus theories.- Improved decision procedures for the modal logics K, T and S4.- A fully abstract denotational model for observational precongruence.- On sharply bounded length induction.- Effective strategies for enumeration games.- Bounded fixed-point definability and tabular recognition of languages.- Equivalences among various logical frameworks of partial algebras.- Some extensions to propositional mean-value calculus: Expressiveness and decidability.- Theorem proving modulo associativity.- Positive deduction modulo regular theories.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)
- 9783540613770 Computer Science Logic (Hans Kleine-Büning)
- 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)
- Computer Science Logic
< zum Archiv...