Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Gurevich, Yuri Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 2 of 2 reviews    
  Monotone versus positive
Ajtai M., Gurevich Y. (ed) Journal of the ACM 34(4): 1004-1015, 1987.  Type: Article

In [1], Yuri Gurevich discusses the achievements of mathematical logic and states that “logic grows more relevant to computer science than any other part of mathematics.” He goes on to argue that applications in com...
...
Jul 1 1988  
  Equivalence relations, invariants, and normal forms
Blass A. (ed), Gurevich Y. (ed) SIAM Journal on Computing 13(4): 682-689, 1984.  Type: Article

This paper in mathematics deals with a particular form of finite structure treated as an input for an algorithm. The paper explores equivalence relations on the words in a finite alphabet and invariant relations among the equivalence c...
...
Jul 1 1985  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy