search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Pillars of Computer Science

Keyphrases

Publications

2008

Arnon Avron
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. Pillars of Computer Science (2008)
Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science (2008)
Grigori Mints
Proof Search Tree and Cut Elimination. Pillars of Computer Science (2008)
Boris A. Trakhtenbrot
From Logic to Theoretical Computer Science - An Update. Pillars of Computer Science (2008)
Valery A. Nepomniaschy
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs. Pillars of Computer Science (2008)
Vladimir Sazonov
On Natural Non-dcpo Domains. Pillars of Computer Science (2008)
Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker
Fields, Meadows and Abstract Data Types. Pillars of Computer Science (2008)
Moshe Y. Vardi
From Monadic Logic to PSL. Pillars of Computer Science (2008)
Andreas Blass, Yuri Gurevich
Why Sets? Pillars of Computer Science (2008)
Udi Boker, Nachum Dershowitz
The Church-Turing Thesis over Arbitrary Domains. Pillars of Computer Science (2008)
Alexander Rabinovich, Amit Shomrat
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey. Pillars of Computer Science (2008)
Matthias Baaz, Richard Zach
Effective Finite-Valued Approximations of General Propositional Logics. Pillars of Computer Science (2008)
Eldar Fischer, Johann A. Makowsky
Linear Recurrence Relations for Graph Polynomials. Pillars of Computer Science (2008)
Irina A. Lomazova
Nested Petri Nets for Adaptive Process Modeling. Pillars of Computer Science (2008)
Michael I. Dekhtyar, Alexander Ja. Dikovsky
Generalized Categorial Dependency Grammars. Pillars of Computer Science (2008)
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Temporal Verification of Probabilistic Multi-Agent Systems. Pillars of Computer Science (2008)
Rusins Freivalds
Artin's Conjecture and Size of Finite Probabilistic Automata. Pillars of Computer Science (2008)
Oded Maler, Dejan Nickovic, Amir Pnueli
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Pillars of Computer Science (2008)
Boris I. Plotkin, Tatjana L. Plotkin
Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge. Pillars of Computer Science (2008)
Johan van Benthem, Daisuke Ikegami
Modal Fixed-Point Logic and Changing Models. Pillars of Computer Science (2008)
Mikhail Auguston, Mark B. Trakhtenbrot
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. Pillars of Computer Science (2008)
Albert R. Meyer
Reminiscences. Pillars of Computer Science (2008)
Dov M. Gabbay
Introducing Reactive Kripke Semantics and Arc Accessibility. Pillars of Computer Science (2008)
Antoni W. Mazurkiewicz
Token-Free Petri Nets. Pillars of Computer Science (2008)
Wolfgang Thomas
Church's Problem and a Tour through Automata Theory. Pillars of Computer Science (2008)
Daniel Leivant
Reasoning in Dynamic Logic about Program Termination. Pillars of Computer Science (2008)
David Harel, Shahar Maoz, Itai Segall
Some Results on the Expressive Power and Complexity of LSCs. Pillars of Computer Science (2008)
Leonid A. Levin
The Grace of Quadratic Norms: Some Examples. Pillars of Computer Science (2008)
César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science (2008)
Sergei N. Artëmov
Symmetric Logic of Proofs. Pillars of Computer Science (2008)
Arnon Avron, Nachum Dershowitz, Alexander Rabinovich
Boris A. Trakhtenbrot: Academic Genealogy and Publications. Pillars of Computer Science (2008)
Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs
Model Transformation Languages and Their Implementation by Bootstrapping Method. Pillars of Computer Science (2008)
Daniel Lehmann
Connectives in Cumulative Logics. Pillars of Computer Science (2008)
Wolfgang Reisig
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. Pillars of Computer Science (2008)
Michael Kaminski, Tony Tan
Tree Automata over Infinite Alphabets. Pillars of Computer Science (2008)
Moti Gitik, Menachem Magidor
On Partially Wellfounded Generic Ultrapowers. Pillars of Computer Science (2008)

volume 4800, 2008

Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Pillars of Computer Science 4800 (2008)