Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
7
Linguistics
6
Abstract process
4
Abstracting
4
Bisimulation
4
Bisimulations
4
Channel capacity
4
Concrete process
4
Expressive power
4
Hybrid logics
4
Private information
4
Sensitive informations
4
Simulation-based
4
Simulation-based abstraction
4
Symbolic bisimulation
4
AUTOMATA
3
BISIMULATION
3
BRANCHING COUNTER SYSTEMS
3
COMPUTATIONAL COMPLEXITY
3
DATA-AWARE LOGICS
3
EXPRESSIVITY
3
Logical characterization
3
MODEL THEORY
3
PROOF THEORY
3
Probabilistic transition systems
3
SATISFIABILITY
3
XPATH=
3
Boolean functions
2
Borel space
2
Branching bisimulations
2
-
1Materias: “...Branching bisimulations...”
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
2Materias: “...Branching bisimulations...”
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
3Materias: “...Weak bisimulations...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
4
-
5por Fervari, Raúl AlbertoMaterias: “...Bisimulations...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
6por Fervari, Raúl AlbertoMaterias: “...Bisimulations...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
7Publicado 2010Materias: “...Bisimulations...”
-
8
-
9por Abriola, Sergio AlejandroMaterias: “...BISIMULATION...”
Publicado 2017
Tesis doctoral publishedVersion -
10por Abriola, Sergio AlejandroMaterias: “...BISIMULATION...”
Publicado 2017
Tesis doctoral publishedVersion -
11
-
12por Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Bisimulation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
13Publicado 2009Materias: “...Symbolic bisimulation...”
-
14por Budde, Carlos Esteban, D'Argenio, Pedro Rubén, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Bisimulation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
15Materias: “...Symbolic bisimulation...”
Artículo publishedVersion -
16Materias: “...Symbolic bisimulation...”
Artículo publishedVersion -
17Materias: “...Symbolic bisimulation...”
SER -
18por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Bisimulation...”
Publicado 2008
-
19Materias: “...Bisimulation...”
SER