Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

22

BIRTHDAY
2010
Springer

favoriteEmaildiscussreport

109views Applied Computing» more BIRTHDAY 2010»

Yuri, Logic, and Computer Science

13 years 9 months ago

Yuri, Logic, and Computer Science

Download www.cs.tau.ac.il

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

Real-time Traffic

Applied Computing | BIRTHDAY 2010 |

claim paper

Related Content

» Database Theory Yuri and Me

» Basics of Graph Cuts

» Existential FixedPoint Logic

» The geometry of graphs and some of its algorithmic applications

» The Decidability of Simultaneous Rigid EUnification with One Variable

» Graph Cuts vs Level Sets

» Scalability analysis of SPMD codes using expectations

» The Underlying Logic of Hoare Logic

» Matrix Decomposition Problem Is Complete for the Average Case

Post Info
More Details (n/a)

Added	10 Feb 2011
Updated	10 Feb 2011
Type	Journal
Year	2010
Where	BIRTHDAY
Authors	Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

Comments (0)