Please Note:
This profile was automatically generated using 38 references found on the Internet. This information has not been verified. Learn more...
This profile was automatically generated using 38 references found on the Internet. This information has not been verified. Learn more...
View all 38 references Web References
-
1. Design and Implementation od the Cafe Prover and Church-Rosser Checker Tools
www.sdl.sri.com/papers/cafe-to - [Cached]Published on: 5/20/2008 Last Visited: 5/20/2008
by Dr. Steven Eker, Manuel Clavel, Francisco Duran & José Meseguer. -
2. Dr. Steven Eker
www.sdl.sri.com/people/eker/ - [Cached]Published on: 5/20/2008 Last Visited: 5/20/2008
Dr. Steven Eker
...
Dr. Steven EkerSenior Software Engineer -
3. Current Design and Implementation of the Cafe Prover and Knuth-Bendix Checker Tools
www.sdl.sri.com/papers/cafe97/ - [Cached]Published on: 5/20/2008 Last Visited: 5/20/2008
by Dr. Steven Eker, Manuel Clavel & José Meseguer.
