ISBN: 9783540478904
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one … Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
ISBN: 9783540478904
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one … Mehr…
| Springer.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540478904
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic an… Mehr…
| Springer.com Versandkosten: EUR 0.00 Details... |
ISBN: 9783540478904
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic an… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540478904
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic an… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540478904
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one … Mehr…
Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter:
Computer Science Logic - neues BuchISBN: 9783540478904
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one … Mehr…
ISBN: 9783540478904
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic an… Mehr…
ISBN: 9783540478904
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic an… Mehr…
ISBN: 9783540478904
Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Mathematical Logic and Foundations; Logics and Meanings of Programs; Mathematical Logic an… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540478904
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2016-12-28T17:01:26+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-10-15T15:38:18+02:00 (Zurich)
ISBN/EAN: 9783540478904
ISBN - alternative Schreibweisen:
978-3-540-47890-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hans jäger, hans richter, jäger gerhard, michael martini, büning, kleine
Titel des Buches: logic computer science
Daten vom Verlag:
Autor/in: Egon Börger; Gerhard Jäger; Hans Kleine Büning; Simone Martini; Michael M. Richter
Titel: Lecture Notes in Computer Science; Computer Science Logic - 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers
Verlag: Springer; Springer Berlin
439 Seiten
Erscheinungsjahr: 2005-07-07
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
IX, 439 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Resolution; computer; computer science; lambda calculus; logic; optimization; programming; semantics; algorithm analysis and problem complexity; C; Theory of Computation; Software Engineering; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Computer Science; Software Engineering; Mathematik: Logik; Mathematische Grundlagen; Algorithmen und Datenstrukturen; BC
A universal Turing machine.- Recursive inseparability in linear logic.- The basic logic of proofs.- Algorithmic structuring of cut-free proofs.- Optimization problems: Expressibility, approximation properties and expected asymptotic growth of optimal solutions.- Linear ?-calculus and categorical models revisited.- A self-interpreter of lambda calculus having a normal form.- An “Ehrenfeucht-Fraïssé game” for fixpoint logic and stratified fixpoint logic.- The class of problems that are linearly equivalent to satisfiability or a uniform method for proving NP-completeness.- Model building by resolution.- Comparative transition system semantics.- Reasoning with higher order partial functions.- Communicating evolving algebras.- On the completeness of narrowing as the operational semantics of functional logic programming.- Inductive definability with counting on finite structures.- Linear time algorithms and NP-complete problems.- The semantics of the C programming language.- A theory of classes for a functional language with effects.- Logical definability of NP-optimisation problems with monadic auxiliary predicates.- Universes in the theories of types and names.- Notes on sconing and relators.- Solving 3-satisfiability in less than 1, 579n steps.- Kleene's slash and existence of values of open terms in type theory.- Negation-complete logic programs.- Logical characterization of bounded query classes II: Polynomial-time oracle machines.- On asymptotic probabilities of monadic second order properties.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)
- 9783540569923 Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers Egon Börger Editor (Egon Börger/ Gerhard Jäger/ Hans Kleine-Büning)
- 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...