This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Fall '08
 JOSHUA
 Math, Order theory, Mathematical logic, Logic in computer science, Rewriting, Nachum Dershowitz

Click to edit the document details