|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A game semantics for disjunctive logic programming |
Tsouanas, Thanos |
2013 |
164 | 11 |
p. 1144-1175 32 p. |
artikel |
|
| 2 | Axiomatizing first-order consequences in dependence logic |
Kontinen, Juha |
2013 |
164 | 11 |
p. 1101-1117 17 p. |
artikel |
|
| 3 | Contents |
2013 |
164 | 11 |
p. iv- 1 p. |
artikel |
||
| 4 | Editorial Board |
2013 |
164 | 11 |
p. IFC- 1 p. |
artikel |
||
| 5 | Foreword |
Abramsky, Samson |
2013 |
164 | 11 |
p. 1037- 1 p. |
artikel |
|
| 6 | Full abstraction for Reduced ML |
Murawski, Andrzej S. |
2013 |
164 | 11 |
p. 1118-1143 26 p. |
artikel |
|
| 7 | Imperative programs as proofs via game semantics |
Churchill, Martin |
2013 |
164 | 11 |
p. 1038-1078 41 p. |
artikel |
|
| 8 | Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus |
Coecke, Bob |
2013 |
164 | 11 |
p. 1079-1100 22 p. |
artikel |
8 gevonden resultaten