Historikk

Cristin-resultat-ID: 1933962

Sist endret: 13. september 2021, 22:55

NVI-rapporteringsår: 2021

Resultat

Vitenskapelig artikkel

2021

Succinct certification of monotone circuits

Mateus Rodrigues Alves
Mateus De Oliveira Oliveira
Janio Carlos Nascimento Silva og
Uéverton S. Souza

Tidsskrift Tidsskrift

Theoretical Computer Science

ISSN 0304-3975
e-ISSN 1879-2294

NVI-nivå 2

Finn i kanalregisteret

Om resultatet Om resultatet

Vitenskapelig artikkel

Publiseringsår: 2021

Publisert online: 2021

Trykket: 2021

Lenker Lenker

original online (doi)

https://doi.org/10.1016/j.tcs.2021.07.032

Importkilder Importkilder

Scopus-ID: 2-s2.0-85111571684

Beskrivelse Beskrivelse

Engelsk

Tittel

Succinct certification of monotone circuits

Bidragsytere Bidragsytere

Mateus Rodrigues Alves

Forfatter

Mateus De Oliveira Oliveira

Forfatter
ved Institutt for informatikk ved Universitetet i Bergen

Janio Carlos Nascimento Silva

Forfatter

Uéverton S. Souza

Forfatter

1 - 4 av 4