![[MR Lookup]](/msnimages/mr-lookup-banner.gif) |
|
About
| Support
|
| |
|
| Author |
|
| Title |
|
| Journal |
|
| First
page |
Last
page
Year
|
| Format: |
|
| |
|
| View
clipboard
|
![' ']() |
| Retrieved first 3 documents out of 11 |
![' ']() |
| Eshuis, Rik; Fokkinga, Maarten M. Comparing refinements for failure and bisimulation semantics.
Fund. Inform. 52 (2002), no. 4, 297--321. MR2000004 (2004g:68121) Add to clipboard |
| Backhouse, Roland; Fokkinga, Maarten. The associativity of equivalence and the Towers of Hanoi problem.
Special issue in honor of Edsger W. Dijkstra (Austin, TX, 2000).
Inform. Process. Lett. 77 (2001), no. 2-4, 71--76. MR1809640 Add to clipboard |
| Fokkinga, Maarten M. Datatype laws without signatures.
Math. Structures Comput. Sci. 6 (1996), no. 1, 1--32. MR1386113 (97e:68086) Add to clipboard |
![' ']() |
An MR number may be turned into a permanent MathSciNet link by using
MathSciNet Getitem ;
e.g: <a href="http://www.ams.org/mathscinet-getitem?mr=99a:01001"> 99a:01001 </a>
e.g: <a href="http://www.ams.org/mathscinet-getitem?mr=1111111"> 1111111 </a>
|
![' ']() |
Comments:
webmaster@ams.org
©
Copyright 2005, American Mathematical Society |