|
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 | Comparing and implementing calculi of explicit substitutions with eta-reduction |
Ayala-Rincón, Mauricio |
2005 |
134 | 1 |
p. 5-41 37 p. |
artikel |
|
| 2 | Contents |
2005 |
134 | 1 |
p. vi- 1 p. |
artikel |
||
| 3 | Editorial Board |
2005 |
134 | 1 |
p. ii- 1 p. |
artikel |
||
| 4 | Finite information logic |
Parikh, Rohit |
2005 |
134 | 1 |
p. 83-93 11 p. |
artikel |
|
| 5 | On sparseness, reducibilities, and complexity |
Cucker, Felipe |
2005 |
134 | 1 |
p. 53-61 9 p. |
artikel |
|
| 6 | Safe beliefs for propositional theories |
Osorio, Mauricio |
2005 |
134 | 1 |
p. 63-82 20 p. |
artikel |
|
| 7 | Undefinability results in o-minimal expansions of the real numbers |
Bianconi, Ricardo |
2005 |
134 | 1 |
p. 43-51 9 p. |
artikel |
|
| 8 | WoLLIC’2002 |
Queiroz, Ruy de |
2005 |
134 | 1 |
p. 1-4 4 p. |
artikel |
8 gevonden resultaten