( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Clasificacion de Objetos Funcionales en Entornos Concurrentes.

, , , и . APPIA-GULP-PRODE, стр. 581-584. (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Helga Blas

Rainer Bläs

Barbara Bläs

Barno Bläs

Blas Garrido

 

Другие публикации лиц с тем же именем

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems., и . ICALP, том 2719 из Lecture Notes in Computer Science, стр. 956-968. Springer, (2003)A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene., и . LOPSTR, том 2664 из Lecture Notes in Computer Science, стр. 17-31. Springer, (2002)Monadas y Procesos Funcionales Comunicantes., , и . GULP-PRODE (1), стр. 266-280. (1994)Inheritance and Selective Methods Dispatching in Concurrent Haskell., , и . PLILP, том 1292 из Lecture Notes in Computer Science, стр. 33-46. Springer, (1997)Monadas para la Comunicacion de Objetos Funcionales., , и . GULP-PRODE, стр. 471-476. (1995)Clasificacion de Objetos Funcionales en Entornos Concurrentes., , , и . APPIA-GULP-PRODE, стр. 581-584. (1996)Condensing Lemmas for Pure Type Systems with Universes.. AMAST, том 1548 из Lecture Notes in Computer Science, стр. 422-437. Springer, (1998)Tipos principales y cierre semi-completo para sistemas de tipos puros extendidos (trabajo en desarrollo)., и . APPIA-GULP-PRODE, стр. 149-163. Departamento de Informática, Universidade de Évora, (2001)Reduction of Blocking Artifacts in Block Transformed Compressed Color Images., , , , и . ICIP (1), стр. 401-405. IEEE Computer Society, (1998)