Resultados de Búsqueda por Autor

1

Model checking legal documents

por Gorín, D.
Publicado 2010

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)

Registro en Scopus

DOI

Handle

Registro en la Biblioteca Digital

Capítulo de libro

Agregar a favoritos

Guardado en:
2

On the size of shortest modal descriptions

por Figueira, S., Gorín, D.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
3

Resolution with order and selection for hybrid logics

por Areces, C., Gorín, D.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
4

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

por Areces, C., Gorín, D.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
5

On the formal semantics of IF-like logics

por Figueira, S., Gorín, D., Grimson, R.
Publicado 2010

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
6

On the formal semantics of IF-like logics

por Figueira, S., Gorín, D., Grimson, R.
Publicado 2010

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
7

Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies

por Figueira, S., Gorín, D., Grimson, R.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
8

On the formal semantics of IF-like logics

por Figueira, S., Gorín, D., Grimson, R.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
9

On the formal semantics of IF-like logics

por Figueira, S., Gorín, D., Grimson, R.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
10

Using logic in the generation of referring expressions

por Areces, C., Figueira, S., Gorín, D.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
11

Model checking legal documents

por Gorín, D., Mera, S., Schapachnik, F.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
12

Enforcing structural invariants using dynamic frames

por Garbervetsky, D., Gorín, D., Neisen, A.
Publicado 2011

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
13

Enforcing structural invariants using dynamic frames

por Garbervetsky, D., Gorín, D., Neisen, A.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
14

Enforcing structural invariants using dynamic frames

por Garbervetsky, D., Gorín, D., Neisen, A.
Publicado 2011

Aportado por: Repositorio Digital de la Universidad de Buenos Aires (UBA)

Enlace del recurso

Enlace del recurso

Artículo publishedVersion

Agregar a favoritos

Guardado en:
15

Pest: From the lab to the classroom

por De Caso, G., Garbervetsky, D., Gorín, D.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

CONF

Agregar a favoritos

Guardado en:
16

Tableaux and model checking for memory logics

por Areces, C., Figueira, D., Gorín, D., Mera, S.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
17

Integrated program verification tools in education

por De Caso, G., Garbervetsky, D., Gorín, D.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

JOUR

Agregar a favoritos

Guardado en:
18

On the expressive power of IF-logic with classical negation

por Figueira, S., Gorín, D., Grimson, R., Beklemishev L.D., Queiroz R.

Aportado por: Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)

Enlace del recurso

SER

Agregar a favoritos

Guardado en:
19

Resolution with order and selection for hybrid logics

por Areces, C.
Publicado 2011
Otros Autores: “...Gorín, D....”

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)

Registro en Scopus

DOI

Handle

Registro en la Biblioteca Digital

Capítulo de libro

Agregar a favoritos

Guardado en:
20

On the size of shortest modal descriptions

por Figueira, S.
Publicado 2010
Otros Autores: “...Gorín, D....”

Número de Clasificación: Cargando...
Ubicado: Cargando...

Aportado por: Biblioteca Central Dr. Luis F. Leloir (FCEN)

Registro en Scopus

Handle

Registro en la Biblioteca Digital

Acta de conferencia Capítulo de libro

Agregar a favoritos

Guardado en: