Repositorios 2

Modal Logic Base de datos 2 Database theory 2 Logic and databases 2 Theory and algorithms for application domains 2 Bisimilitud probabilista 1 Descriptive set theory 1 Labelled Markov processes 1 Logic in computer science 1 Lógicas no-clásicas 1 Measures and integrals in product spaces 1 Medidas e integrales en los espacios producto 1 Modelos y métodos de computación concurrente y distribuida 1 Models and methods for concurrent and distributed computing 1 No-determinismo 1 Proceso de Markov etiquetado 1 Teoría de conjuntos descriptiva 1