undefined

< Takaisin hakutuloksiin

Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits

Julkaisuvuosi

2005

Tekijät

Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka

Organisaatiot ja tekijät

Aalto-yliopisto

Niemelä Ilkka Orcid -palvelun logo

Junttila Tommi

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Lehti

Artikkelin tyyppi

Alkuperäisartikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisukanavan tiedot

Lehti/Sarja

Annals of Mathematics and Artificial Intelligence

Kustantaja

SPRINGER

Volyymi

44

Numero

4

Sivut

373-399

ISSN

1012-2443

Julkaisu­foorumi

51235

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Avainsanat

[object Object],[object Object],[object Object],[object Object],[object Object]

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/s10472-005-7034-1

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä