|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An optimal construction of Hanf sentences |
Bollig, Benedikt |
2012 |
10 | 2 |
p. 179-186 8 p. |
article |
|
| 2 | Correlations of spaces of pencils |
Żynel, Mariusz |
2012 |
10 | 2 |
p. 187-198 12 p. |
article |
|
| 3 | Editorial Board |
2012 |
10 | 2 |
p. iii-vi nvt p. |
article |
||
| 4 | Reasoning about visibility |
Villemaire, Roger |
2012 |
10 | 2 |
p. 163-178 16 p. |
article |
|
| 5 | Unity in nominal equational reasoning: The algebra of equality on nominal sets |
Gabbay, Murdoch J. |
2012 |
10 | 2 |
p. 199-217 19 p. |
article |
5 results found