1. importsource = "00045411-2005-03.txt"
Se encontraron 9 resultados.
Artículo:

An improved exponential time algorithm for k-SAT

Autor:

R. Paturi

P. Pudlák

M. E. Saks

F. Zane

Página:

337

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 252873
  • 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:

Simplify

Sub título:

A theorem prover for program checking

Autor:

D. Detlefs

G. Nelson

J. B. Saxe

Página:

365

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 252874
  • 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:

Beyond proof-of-compliance

Sub título:

Security analysis in trust management

Autor:

N. Li

J. C. Mitchell

W. H. Winsborough

Página:

474

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 252875
  • 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:

An improved exponential time algorithm for k-SAT

Autor:

R. Paturi

P. Pudlák

M. E. Saks

F. Zane

Página:

337

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 840457
  • Actualizado el martes, 10 de julio de 2018 10:49:51 a. m.
  • Creado el martes, 10 de julio de 2018 10:49:51 a. m.
  • Enlace directo
Artículo:

Simplify

Sub título:

A theorem prover for program checking

Autor:

D. Detlefs

G. Nelson

J. B. Saxe

Página:

365

Publicación:

Journal Of The ACM

Volúmen:

52

Número:

3

Periodo:

May 2005

ISSN:

00045411

SrcID:

00045411-2005-03.txt

  • Documento número 840458
  • Actualizado el martes, 10 de julio de 2018 10:49:51 a. m.
  • Creado el martes, 10 de julio de 2018 10:49:51 a. m.
  • Enlace directo