| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Moshe Y. Vardi |
From Monadic Logic to PSL.  |
Pillars of Computer Science  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail Auguston, Mark B. Trakhtenbrot |
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris A. Trakhtenbrot |
From Logic to Theoretical Computer Science - An Update. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reisig |
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass |
Why Sets? |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Leivant |
Reasoning in Dynamic Logic about Program Termination. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Barzdins, Audris Kalnins, Edgars Rencis, Sergejs Rikacovs |
Model Transformation Languages and Their Implementation by Bootstrapping Method. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Shahar Maoz, Itai Segall |
Some Results on the Expressive Power and Complexity of LSCs. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron |
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oded Maler, Dejan Nickovic, Amir Pnueli |
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Daisuke Ikegami |
Modal Fixed-Point Logic and Changing Models. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin |
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Nachum Dershowitz, Alexander Rabinovich |
Boris A. Trakhtenbrot: Academic Genealogy and Publications. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rusins Freivalds |
Artin's Conjecture and Size of Finite Probabilistic Automata. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert R. Meyer |
Reminiscences. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigori Mints |
Proof Search Tree and Cut Elimination. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Moti Gitik, Menachem Magidor |
On Partially Wellfounded Generic Ultrapowers. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Sazonov |
On Natural Non-dcpo Domains. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kaminski, Tony Tan |
Tree Automata over Infinite Alphabets. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina A. Lomazova |
Nested Petri Nets for Adaptive Process Modeling. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lehmann |
Connectives in Cumulative Logics. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Rabinovich, Amit Shomrat |
Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoni W. Mazurkiewicz |
Token-Free Petri Nets. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid A. Levin |
The Grace of Quadratic Norms: Some Examples. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Nachum Dershowitz |
The Church-Turing Thesis over Arbitrary Domains. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Effective Finite-Valued Approximations of General Propositional Logics. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eldar Fischer, Johann A. Makowsky |
Linear Recurrence Relations for Graph Polynomials. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris I. Plotkin, Tatjana L. Plotkin |
Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev |
Temporal Verification of Probabilistic Multi-Agent Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Thomas |
Church's Problem and a Tour through Automata Theory. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) |
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday |
Pillars of Computer Science |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sergei N. Artëmov |
Symmetric Logic of Proofs. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
Generalized Categorial Dependency Grammars. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Yoram Hirshfeld, John Tucker |
Fields, Meadows and Abstract Data Types. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dov M. Gabbay |
Introducing Reactive Kripke Semantics and Arc Accessibility. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")