Stephen P. King (stephenk1@home.com)
Sat, 24 Jul 1999 23:50:05 -0400
Dear Matti and friends,
In [time 478] I described the following:
... -->x1 --> x2--> ... Time
| |
... |g |h ...
| |
... <--i2 <-- i1<-- ... Logic
where g and h are infomorphic bisimulations...
That would it look like if the above structure was just a closed
segment in a n-dimensional lattice or a random n-graph?
Onward!
Stephen
This archive was generated by hypermail 2.0b3 on Sun Oct 17 1999 - 22:36:57 JST