|
М |
Well-foundness and lexical coupling |
1990 |
Dijkstra E. |
|
|
|
|
04.03.1991 |
|
М |
Mathematical induction and universal quantification |
1990 |
Dijkstra E. |
|
|
|
|
04.03.1991 |
|
М |
A logician s anomaly or: Leibniz vindicated |
1990 |
Dijkstra E. |
|
|
|
|
28.03.1991 |
|
М |
Proving the theorem of Menelaos |
1990 |
Dijkstra E. |
|
|
|
|
28.03.1991 |
|
М |
Designing the proof of Vizing s Theorem |
1990 |
Rao J., Dijkstra E. |
|
|
|
|
28.03.1991 |
|
М |
Well-foundedness and the transitive closure |
1990 |
Dijkstra E. |
|
|
|
|
23.04.1991 |
|
М |
A Relational summary |
1990 |
Dijkstra E. |
|
|
|
|
23.04.1991 |
|
М |
The balance and the coins |
1990 |
Dijkstra E. |
|
|
|
|
23.04.1991 |
|
СТ |
The Humble Programmer |
1987 |
Dijkstra E. |
|
|
|
ACM Turing Award Lectures |
24.04.1991 |
