Cristin-resultat-ID: 1933962
Sist endret: 14. februar 2022, 11:24
NVI-rapporteringsår: 2021
Resultat
Vitenskapelig artikkel
2021

Succinct certification of monotone circuits

Bidragsytere:
  • Mateus Rodrigues Alves
  • Mateus De Oliveira Oliveira
  • Janio Carlos Nascimento Silva og
  • Uéverton dos Santos Souza

Tidsskrift

Theoretical Computer Science
ISSN 0304-3975
e-ISSN 1879-2294
NVI-nivå 2

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2021
Publisert online: 2021
Trykket: 2021
Volum: 889
Sider: 1 - 13

Importkilder

Scopus-ID: 2-s2.0-85111571684

Beskrivelse Beskrivelse

Tittel

Succinct certification of monotone circuits

Bidragsytere

Mateus Rodrigues Alves

  • Tilknyttet:
    Forfatter
    ved Universidade Federal Fluminense

Mateus De Oliveira Oliveira

  • Tilknyttet:
    Forfatter
    ved Institutt for informatikk ved Universitetet i Bergen

Janio Carlos Nascimento Silva

  • Tilknyttet:
    Forfatter
    ved Universidade Federal Fluminense
  • Tilknyttet:
    Forfatter
    ved Brasil

Uéverton S. Souza

Bidragsyterens navn vises på dette resultatet som Uéverton dos Santos Souza
  • Tilknyttet:
    Forfatter
    ved Universidade Federal Fluminense
1 - 4 av 4