Arnon Avron , Nachum Dershowitz , Alexander Rabinovich (Eds.):
Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday.
Lecture Notes in Computer Science 4800 Springer 2008, ISBN 978-3-540-78126-4
export record as
dblp key:
conf/birthday/Trakhtenbrot08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/birthday/AugustonT08 export record as
dblp key:
Arnon Avron :
A Framework for Formalizing Set Theories Based on the Use of Static Set Terms.
87-106
export record as
dblp key:
export record as
dblp key:
conf/birthday/BarzdinsKRR08 export record as
dblp key:
export record as
dblp key:
conf/birthday/BergstraHT08 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/birthday/DekhtyarD08 export record as
dblp key:
conf/birthday/DekhtyarDV08 export record as
dblp key:
export record as
dblp key:
conf/birthday/Freivalds08 Rusins Freivalds :
Artin's Conjecture and Size of Finite Probabilistic Automata.
280-291
export record as
dblp key:
Dov M. Gabbay :
Introducing Reactive Kripke Semantics and Arc Accessibility.
292-341
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/birthday/HasegawaHP08 export record as
dblp key:
conf/birthday/KaminskiT08 export record as
dblp key:
export record as
dblp key:
Daniel Leivant :
Reasoning in Dynamic Logic about Program Termination.
441-456
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/birthday/Mazurkiewicz08 export record as
dblp key:
export record as
dblp key:
conf/birthday/Nepomniaschy08 Valery A. Nepomniaschy :
Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.
537-554
export record as
dblp key:
export record as
dblp key:
conf/birthday/RabinovichS08 export record as
dblp key:
Wolfgang Reisig :
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed.
589-595
export record as
dblp key:
conf/birthday/SanchezSSM08 export record as
dblp key:
export record as
dblp key:
Wolfgang Thomas :
Church's Problem and a Tour through Automata Theory.
635-655
export record as
dblp key:
data released under the ODC-BY 1.0 license
