( en | de | ru )

 

Disambiguation of "Ruiz, Blas C."

Author of the publication

copydeleteadd this publication to your clipboard
Clasificacion de Objetos Funcionales en Entornos Concurrentes.

, , , and . APPIA-GULP-PRODE, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Helga Blas

Rainer Bläs

Barbara Bläs

Barno Bläs

Blas Garrido

 

Other publications of authors with the same name

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