Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. (Q2917351)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. |
scientific article; zbMATH DE number 6087982
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. |
scientific article; zbMATH DE number 6087982 |
Statements
28 September 2012
0 references
0 references
0.9210013
0 references
0 references
0.9180304
0 references
0.9170483
0 references
0.91650754
0 references
0.9131384
0 references
0.91212153
0 references
0.9099132
0 references
Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. (English)
0 references
