Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday (English)
- New search for: Blass, Andreas
- Further information on Blass, Andreas:
- http://d-nb.info/gnd/142071552
- New search for: Gurevich, Yuri
- New search for: Dershowitz, Nachum
- Further information on Dershowitz, Nachum:
- http://d-nb.info/gnd/128838213
- New search for: Reisig, Wolfgang
- Further information on Reisig, Wolfgang:
- http://d-nb.info/gnd/120078422
2010
-
ISBN:
- Report / Print
-
Title:Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday
-
Contributors:
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , Heidelberg [u.a.]
-
Publication date:2010
-
Size:XIII, 627 S.
-
Remarks:graph. Darst.
Literaturangaben
Digital preservation by Badische Landesbibliothek -
ISBN:
-
Type of media:Report
-
Type of material:Print
-
Language:English
-
Contract number:80020423
- New search for: 03B70 / 68-06 / 00B30 / *03-06
- Further information on Mathematics Subject Classification
- New search for: 004.0151
- Further information on Dewey Decimal Classification
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Yuri, Logic, and Computer ScienceBlass, Andreas / Dershowitz, Nachum / Reisig, Wolfgang et al. | 2010
- 49
-
Database Theory, Yuri, and MeBussche, Jan et al. | 2010
- 61
-
Tracking EvidenceArtemov, Sergei et al. | 2010
- 75
-
Strict Canonical Constructive SystemsAvron, Arnon / Lahav, Ori et al. | 2010
- 95
-
Decidable Expansions of Labelled Linear OrderingsBès, Alexis / Rabinovich, Alexander et al. | 2010
- 108
-
Existential Fixed-Point Logic, Universal Quantifiers, and TopoiBlass, Andreas et al. | 2010
- 135
-
Three Paths to EffectivenessBoker, Udi / Dershowitz, Nachum et al. | 2010
- 147
-
The Quest for a Tight Translation of Büchi to co-Büchi AutomataBoker, Udi / Kupferman, Orna et al. | 2010
- 165
-
Normalization of Some Extended Abstract State MachinesCégielski, Patrick / Guessarian, Irène et al. | 2010
- 181
-
Finding Reductions AutomaticallyCrouch, Michael / Immerman, Neil / Moss, J. Eliot B. et al. | 2010
- 201
-
On Complete Problems, Relativizations and Logics for Complexity ClassesDawar, Anuj et al. | 2010
- 208
-
Effective Closed Subshifts in 1D Can Be Implemented in 2DDurand, Bruno / Romashchenko, Andrei / Shen, Alexander et al. | 2010
- 227
-
The Model Checking Problem for Prefix Classes of Second-Order Logic: A SurveyEiter, Thomas / Gottlob, Georg / Schwentick, Thomas et al. | 2010
- 251
-
A Logic for PTIME and a Parameterized Halting ProblemChen, Yijia / Flum, Jörg et al. | 2010
- 277
-
Inferring Loop Invariants Using PostconditionsFuria, Carlo Alberto / Meyer, Bertrand et al. | 2010
- 301
-
ASMs and Operational Algorithmic Completeness of Lambda CalculusFerbus-Zanda, Marie / Grigorieff, Serge et al. | 2010
- 328
-
Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line GraphsGrohe, Martin et al. | 2010
- 354
-
Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of LogicHodges, Wilfrid et al. | 2010
- 405
-
Abstract State Machines and the Inquiry ProcessHuggins, James K. / Wallace, Charles et al. | 2010
- 414
-
The Algebra of Adjacency Patterns: Rees Matrix Semigroups with ReversionJackson, Marcel / Volkov, Mikhail et al. | 2010
- 444
-
Definability of Combinatorial Functions and Their Linear Recurrence RelationsKotek, Tomer / Makowsky, Johann A. et al. | 2010
- 463
-
Halting and Equivalence of Program Schemes in Models of Arbitrary TheoriesKozen, Dexter et al. | 2010
- 470
-
Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive MathematicsKreinovich, Vladik et al. | 2010
- 488
-
Thirteen Definitions of a Stable ModelLifschitz, Vladimir et al. | 2010
- 504
-
DKAL and Z3: A Logic Embedding ExperimentMera, Sergio / Bjørner, Nikolaj et al. | 2010
- 529
-
Decidability of the Class E by Maslov’s Inverse MethodMints, Grigori et al. | 2010
- 538
-
Logics for Two Fragments beyond the Syllogistic BoundaryMoss, Lawrence S. et al. | 2010
- 565
-
Choiceless Computation and SymmetryRossman, Benjamin et al. | 2010
- 581
-
Hereditary Zero-One Laws for GraphsShelah, Saharon / Doron, Mor et al. | 2010
- 615
-
On Monadic Theories of Monadic PredicatesThomas, Wolfgang et al. | 2010