Guy Perrier
266  Ergebnisse:
Personensuche X
?
9

Logical Aspects of Computational Linguistics 

Second International Conference, LACL'97 Nancy, France, Sep...  Lecture Notes in Computer Science ; 1582;SpringerLink, Bücher;Springer eBook Collection, Computer Science
 
?
10

Corrigendum to Galmiche's and Perrier's "On proof normaliza..:

Perrier, Guy
Theoretical Computer Science.  206 (1998)  1-2 - p. 353-354 , 1998
 
?
 
?
12

On proof normalization in linear logic:

Galmiche, Didier ; Perrier, Guy
Theoretical Computer Science.  135 (1994)  1 - p. 67-110 , 1994
 
?
13

Seismic evidence of a crustal overthrust in the Western Alp:

Thouvenot, François ; Perrier, Guy
pure and applied geophysics.  119 (1980)  1 - p. 163-184 , 1980
 
1-15