Publicatielijst
Faculteit der Natuurwetenschappen, Wiskunde en Informatica - 1995
1741 tot 1750 van 1948
1 ...
191 ...
381 ...
581 ...
771 ...
971 ...
1161 ...
1361 ...
1551 ...
1721
1731
1741
1751
1761 ...
1941
| 1741 | Artikel: Onconventionele supergeleiding N.H. van Dijk, A. de Visser, J.J.M. Franse in: Nederlands Tijdschrift voor Natuurkunde, Vol. 61 (1995), p. 127-130 | |
| 1742 | Artikel: Thermal expansion and magnetostriction of superconduct URu2Si2 N.H. van Dijk, A. de Visser, J.J.M. Franse, A.A. Menovsky in: Physical Review B, Vol. 51 (1995), p. 12665-12672 | |
| 1743 | Artikel: Spin fluctuations and heavy fermion behavior U. Wyder in: Physica B-Condensed Matter, Vol. 204 (1995), p. 255-264 | |
| 1744 | Artikel: Peak effect in the magnetostriction of superconducting NbTi due to elastic constants U. Wyder, P.J.E.M. van der Linden, H.P. Meulen, A. Gerber, V.H.M. Duijn, J.A.A.J. Perenboom, A. de Visser, J.J.M. Franse in: Physica B-Condensed Matter, Vol. 211 (1995), p. 265-268 | |
| 1745 | Hoofdstuk: Arrays, Bounded Quantification and Iteration in Logic and Constraint Logic Programming K.R. Apt in: 1995 Joint Conference on Declarative Programming (GULP-PRODE '95) (1995), p. 19-35 | |
| 1746 | Hoofdstuk: Verification of Logic Programs with Delay Declarations K.R. Apt, I. Luitjes in: Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST'95) (1995), p. 66-90 | |
| 1747 | Hoofdstuk: Comparing negation in logic programming and in Prolog K.R. Apt, F. Teusink in: Meta-logics and Logic Programming (1995), p. 111-133 | |
| 1748 | Hoofdstuk: A vademecum of ambivalent logic M.B. Kalsbeek, Y. Jiang in: Meta-logics and Logic Programming (1995), p. 27-56 | |
| 1749 | Hoofdstuk: Correctness of the vanilla meta-interpreter and ambivalent syntax M.B. Kalsbeek in: Meta-logics and Logic Programming (1995), p. 3-26 | |
| 1750 | Hoofdstuk: Discrete time process algebra with abstraction J.C.M. Baeten, J.A. Bergstra in: FCT'95 (1995), p. 1-15 |
vorige