|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A note on preservation of strong normalisation in the λ -calculus |
Espírito Santo, José |
2011 |
412 | 11 |
p. 1027-1032 6 p. |
artikel |
|
| 2 | A short proof that adding some permutation rules to β preserves S N |
David, René |
2011 |
412 | 11 |
p. 1022-1026 5 p. |
artikel |
|
| 3 | Constructive semantics for instantaneous reactions |
Aguado, Joaquín |
2011 |
412 | 11 |
p. 931-961 31 p. |
artikel |
|
| 4 | Determinacy and query rewriting for conjunctive queries and views |
Afrati, Foto N. |
2011 |
412 | 11 |
p. 1005-1021 17 p. |
artikel |
|
| 5 | Effective homology of bicomplexes, formalized in Coq |
Domínguez, César |
2011 |
412 | 11 |
p. 962-970 9 p. |
artikel |
|
| 6 | Toggling operators in computability logic |
Japaridze, Giorgi |
2011 |
412 | 11 |
p. 971-1004 34 p. |
artikel |
6 gevonden resultaten