- isn = "00045411"
Se encontraron 923 resultados.
- 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 791959
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 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 791960
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 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 791961
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- Artículo:
Fast computation of low-rank matrix approximations
- Autor:
Dimitris Achlioptas
Frank Mcsherry
- 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 791962
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
- 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 791963
- Actualizado el martes, 10 de julio de 2018 10:43:48 a. m.
- Creado el martes, 10 de julio de 2018 10:43:48 a. m.
- Enlace directo
