| Nitpick
-> Alcoa |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Nitpick
1996 |
||||||||||||
| – | Sets
and binary relations, Z-like schema |
||||||||||||
| calculus,
sequential composition |
|||||||||||||
| • | Alcoa
2000 |
||||||||||||
| – | First-order
quantifiers, hierarchical structures, |
||||||||||||
| numbers,
etc. |
|||||||||||||
| – | Performance
improvement of at least a factor of |
||||||||||||
| two
in both the number of relations and the size |
|||||||||||||
| of
the finite bound |
|||||||||||||
