2010, ISBN: 9783642150258
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a br… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2010, ISBN: 9783642150258
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a br… Mehr…
Thalia.de Nr. 44359019. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
2010, ISBN: 9783642150258
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a br… Mehr…
Orellfuessli.ch Nr. 44359019. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.60) Details... |
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday - neues Buch
ISBN: 9783642150258
This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics -… Mehr…
hive.co.uk No. 9783642150258. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783642150258
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2010
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2010, ISBN: 9783642150258
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a br… Mehr…
2010, ISBN: 9783642150258
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a br… Mehr…
2010
ISBN: 9783642150258
Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a br… Mehr…
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday - neues Buch
ISBN: 9783642150258
This Festschrift volume, published in honor of Yuri Gurevich on the occasion of his 70th birthday, contains contributions written by his colleagues. The articles cover a range of topics -… Mehr…
2010, ISBN: 9783642150258
Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Fields of Logic and Computation
EAN (ISBN-13): 9783642150258
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-04-19T20:23:04+02:00 (Zurich)
Detailseite zuletzt geändert am 2021-11-20T15:52:05+01:00 (Zurich)
ISBN/EAN: 9783642150258
ISBN - alternative Schreibweisen:
978-3-642-15025-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wolfgang reisig, dershowitz
Titel des Buches: fields, computation logic
Daten vom Verlag:
Autor/in: Andreas Blass; Nachum Dershowitz; Wolfgang Reisig
Titel: Programming and Software Engineering; Lecture Notes in Computer Science; Fields of Logic and Computation - Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
Verlag: Springer; Springer Berlin
627 Seiten
Erscheinungsjahr: 2010-08-16
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XIII, 627 p. 49 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Computerprogrammierung und Softwareentwicklung; Verstehen; Büchi automata; Rack; abstract state machines; algorithms; ants; automata theory; complexity; constructive mathematics; decision procedures; fixed-point logic; formal methods; foundations of computer science; graph theory; mathematical logic; security; algorithm analysis and problem complexity; C; Programming Techniques; Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Computer Communication Networks; Programming Techniques; Computer Science Logic and Foundations of Programming; Software Engineering; Formal Languages and Automata Theory; Algorithms; Computer Communication Networks; Computer Science; Theoretische Informatik; Software Engineering; Algorithmen und Datenstrukturen; Netzwerk-Hardware; BC
On Yuri Gurevich.- Yuri, Logic, and Computer Science.- Database Theory, Yuri, and Me.- Technical Papers.- Tracking Evidence.- Strict Canonical Constructive Systems.- Decidable Expansions of Labelled Linear Orderings.- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi.- Three Paths to Effectiveness.- The Quest for a Tight Translation of Büchi to co-Büchi Automata.- Normalization of Some Extended Abstract State Machines.- Finding Reductions Automatically.- On Complete Problems, Relativizations and Logics for Complexity Classes.- Effective Closed Subshifts in 1D Can Be Implemented in 2D.- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.- A Logic for PTIME and a Parameterized Halting Problem.- Inferring Loop Invariants Using Postconditions.- ASMs and Operational Algorithmic Completeness of Lambda Calculus.- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs.- Ibn S?n? on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic.- Abstract State Machines and the Inquiry Process.- The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion.- Definability of Combinatorial Functions and Their Linear Recurrence Relations.- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories.- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics.- Thirteen Definitions of a Stable Model.- DKAL and Z3: A Logic Embedding Experiment.- Decidability of the Class E by Maslov’s Inverse Method.- Logics for Two Fragments beyond the Syllogistic Boundary.- Choiceless Computation and Symmetry.- Hereditary Zero-One Laws for Graphs.- On Monadic Theories of Monadic Predicates.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030480059 Fields of Logic and Computation III (Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner)
- 9783030480059 Fields of Logic and Computation III (Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner)
- 9783030480066 Fields of Logic and Computation III (Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner)
- 9783642150241 Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300) (Springer Berlin)
< zum Archiv...