1. importsource = "1557735X-2000-05.TXT"
Se encontraron 14 resultados.
Artículo:

An axiomatic treatment of three qualitative decision Criteria

Autor:

Ronen I. Brafman

Moshe Tennenholtz

Página:

452

Publicación:

Journal of the ACM

Volúmen:

47

Número:

5

Periodo:

Septiembre 2000

ISSN:

1557735X

SrcID:

1557735X-2000-05.TXT

  • Documento número 1412183
  • Actualizado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Creado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Enlace directo
Artículo:

Behavioral equivalence in the polymorphic pi-calculus

Autor:

Benjamin C. Pierce

Davide Sangiorgi

Página:

531

Publicación:

Journal of the ACM

Volúmen:

47

Número:

5

Periodo:

Septiembre 2000

ISSN:

1557735X

SrcID:

1557735X-2000-05.TXT

  • Documento número 1412184
  • Actualizado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Creado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Enlace directo
Artículo:

A bill of rights and responsibilities Building tractable disjunctive constraints

Autor:

David Cohen

Joe Halpern

Peter Jeavons

Peter Jonsson

Manolis Koubarakis

Página:

823

Publicación:

Journal of the ACM

Volúmen:

47

Número:

5

Periodo:

Septiembre 2000

ISSN:

1557735X

SrcID:

1557735X-2000-05.TXT

  • Documento número 1412185
  • Actualizado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Creado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Enlace directo
Artículo:

A neuroidal architecture for cognitive computation

Autor:

Leslie G. Valiant

Página:

854

Publicación:

Journal of the ACM

Volúmen:

47

Número:

5

Periodo:

Septiembre 2000

ISSN:

1557735X

SrcID:

1557735X-2000-05.TXT

  • Documento número 1412186
  • Actualizado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Creado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Enlace directo
Artículo:

A lower bound on the average-case complexity of shellsort

Autor:

Tao Jiang

Ming Li

Paul Vitányi

Página:

905

Publicación:

Journal of the ACM

Volúmen:

47

Número:

5

Periodo:

Septiembre 2000

ISSN:

1557735X

SrcID:

1557735X-2000-05.TXT

  • Documento número 1412187
  • Actualizado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Creado el miércoles, 19 de agosto de 2020 07:49:40 p. m.
  • Enlace directo