User Tools

Site Tools


projects:answerthesequestions

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
projects:answerthesequestions [2008/08/14 23:19]
jaeheon
projects:answerthesequestions [2009/02/24 15:58] (current)
Line 171: Line 171:
  
   * **What is Farka'​s Lemma?**   * **What is Farka'​s Lemma?**
 +
 +  * **What is refinement calculus? intuitionistic refinement calculus?**
 +
 +  * **What is an abstract state machine? (Yuri Gurevich)**
 +
 +  * **What is the zero-one law?**
projects/answerthesequestions.txt · Last modified: 2009/02/24 15:58 (external edit)