No higher resolution available.
Interaction_Rule.png (596 × 193 pixels, file size: 21 KB, MIME type: image/png)
Summary
| Description |
English: An interaction rule with its right-hand side redrawn using the wiring and tree primitives in a form that corresponds to Lafont's notation. |
| Date | |
| Source | https://dx.doi.org/10.4204/EPTCS.225.7 |
| Author | Anton Salikhmetov |
|
This file is in the public domain because explicitly dedicated to the public domain
|
Licensing
|
|
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 09:26, 2 April 2017 | | 596 × 193 (21 KB) | Codedot | Smaller size |
| 05:10, 2 April 2017 |  | 847 × 283 (32 KB) | Codedot | {{subst:Upload marker added by en.wp UW}} {{Information |Description = {{en|An interaction rule with its right-hand side redrawn using the wiring and tree primitives in a form that corresponds to Lafont's notation.}} |Source = http://dx.doi.org/10.4204... |
File usage
The following page uses this file:
