File:LK groupe structurel.png
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
LK_groupe_structurel.png (432 × 133 pixels, file size: 4 KB, MIME type: image/png)
File information
Structured data
Captions
Summary
[edit]DescriptionLK groupe structurel.png | Mathematical formula: structural group of sequent calculus LK |
Date | |
Source | tex file |
Author | Laurent Regnier |
Licensing
[edit]Public domainPublic domainfalsefalse |
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 | 15:53, 4 January 2006 | 432 × 133 (4 KB) | Lregnier (talk | contribs) | Category:Logics {{Information |Description = Mathematical formula: identity group of sequent calculus LK |Source = tex file |Date = 2006/01/04 |Author = Laurent Regnier |Permission = |other_versions = <i>none</i> |}} |
You cannot overwrite this file.
File usage on Commons
There are no pages that use this file.
Hidden categories: