1
TITLE: FROM COINDUCTIVE PROOFS TO EXACT REAL ARITHMETIC: THEORY AND APPLICATIONS  Full Text
AUTHORS: Ulrich Berger;
PUBLISHED: 2011, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, ISSUE: 1
INDEXED IN: WOS CrossRef
2
TITLE: Neural correlates of strategic memory retrieval: Differentiating between spatial-associative and temporal-associative strategies  Full Text
AUTHORS: Mischa de Rover; Karl Magnus Petersson ; Sieberen R van der Werf; Alexander R Cools; Hans J Berger; Guillen Fernandez;
PUBLISHED: 2008, SOURCE: HUMAN BRAIN MAPPING, VOLUME: 29, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef: 24