Conference papers (3)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 1999 Remove filter
filter_list Type (aggr.) Conference papers from 1999 to 1999 Computational Theory and Mathematics

1999

  1. A framework for automatic construction of abstract promela models

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Maude as a formal meta-tool

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Resource management in linear logic proof search revisited

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)