The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Publication list

Faculty of Science - 2002

1611 to 1620 of 1632
1 ... 161 ... 321 ... 481 ... 651 ... 811 ... 971 ... 1141 ... 1301 ... 1461 ... 1591   1601   1611   1621   1631

1611   Report: Euclidean Hierarchy in Modal Logic
J.F.A.K. van Benthem, G. Bezhanishvili, M. Gehrke (2002), p. 16
1612   Report: Independent choices and the Interpretation of IF Logic
T.M.V. Janssen (2002), p. 22
1613   Report: Regular Equivalence and Dynamic Logic
M.J. Marx, M. Masuch (2002)
1614   Report: Arithmetical Definability over Finite Structures
T.J. Lee (2002), p. 15
1615   Report: Constructive Interpolation in Hybrid Logic
P. Blackburn, M.J. Marx (2002), p. 18
1616   Report: Decomposing Modal Logic
C.E. Areces, M. de Rijke, G.G. Infante Lopez (2002), p. 16
1617   Report: HyLoRes: A Hybrid Logic Prover Based on Direct Resolution
C.E. Areces, J.M. Heguiabehere (2002), p. 12
1618   Report: Resolution in Modal, Description and Hybrid Logic
C.E. Areces, H. de Nivelle, M. de Rijke (2002)
1619   Report: A Data-Oriented Parsing Model for Lexical-Functional Grammar
R. Bod, R. Kaplan (2002), p. 1
1620   Article: The ISO-SWS post-helium atlas of near-infrared stellar spectra
B. Vandenbussche, D.A. Beintema, T. de Graauw, L. Decin, H. Feuchtgruber, A. Heras, D. Kester, F. Lahuis, A. Lenorzer, R. Lorente, A. Salama, C. Waelkens, L.B.F.M. Waters, E. Wieprecht in: Astronomy and Astrophysics, Vol. 390 (2002), p. 1033-1048