- importsource = "00045411-2007-02.txt"
Se encontraron 24 resultados.
- Artículo:
On the maximum satisfiability of random formulas
- Autor:
Dimitris Achlioptas
Assaf Naor
Yuval Peres
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
2
- Periodo:
Abril 2007
- ISSN:
00045411
- SrcID:
00045411-2007-02.txt
- Documento número 252932
- Actualizado el martes, 23 de mayo de 2017 03:53:20 p. m.
- Creado el martes, 23 de mayo de 2017 03:53:20 p. m.
- Enlace directo
- Artículo:
Deciding equivalences among conjunctive aggregate queries
- Autor:
Sara Cohen
Werner Nutt
Yehoshua Sagiv
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
2
- Periodo:
Abril 2007
- ISSN:
00045411
- SrcID:
00045411-2007-02.txt
- Documento número 750383
- Actualizado el martes, 10 de julio de 2018 10:38:59 a. m.
- Creado el martes, 10 de julio de 2018 10:38:59 a. m.
- Enlace directo
- Artículo:
A characterization of regular expressions under bisimulation
- Autor:
J. C. M. Baeten
F. Corradini
C. A. Grabmayer
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
2
- Periodo:
Abril 2007
- ISSN:
00045411
- SrcID:
00045411-2007-02.txt
- Documento número 750384
- Actualizado el martes, 10 de julio de 2018 10:38:59 a. m.
- Creado el martes, 10 de julio de 2018 10:38:59 a. m.
- Enlace directo
- Artículo:
The rational numbers as an abstract data type
- Autor:
J. A. Bergstra
J. V. Tucker
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
2
- Periodo:
Abril 2007
- ISSN:
00045411
- SrcID:
00045411-2007-02.txt
- Documento número 750385
- Actualizado el martes, 10 de julio de 2018 10:38:59 a. m.
- Creado el martes, 10 de julio de 2018 10:38:59 a. m.
- Enlace directo
- Artículo:
The measurement calculus
- Autor:
Vincent Danos
Elham Kashefi
Prakash Panangaden
- Página:
1
- Publicación:
Journal of the ACM
- Volúmen:
54
- Número:
2
- Periodo:
Abril 2007
- ISSN:
00045411
- SrcID:
00045411-2007-02.txt
- Documento número 750386
- Actualizado el martes, 10 de julio de 2018 10:38:59 a. m.
- Creado el martes, 10 de julio de 2018 10:38:59 a. m.
- Enlace directo
