Zpět na hledáníString rewriting and proof complexity: an interpretation of resolution (2009)výskyt výsledku
| Identifikační kód | RIV/67985840:_____/09:00380563 |
|---|---|
| Název v anglickém jazyce | String rewriting and proof complexity: an interpretation of resolution |
| Druh | J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh | - |
| Jazyk | eng - angličtina |
| Obor - skupina | B - Fyzika a matematika |
| Obor | BA - Obecná matematika |
| Rok uplatnění | 2009 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 1 |
| Počet tvůrců celkem | 1 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Stefano Cavagnetto (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3964078) |
| Popis výsledku v anglickém jazyce | We interpret the well-known propositional proof system Resolution using string rewriting systems Sigma(n)* and Sigma(n) corresponding to tree-like proofs(a) and sequence-like proofs, respectively. We give a representation of Sigma(n)* using planar diagrams. |
| Klíčová slova oddělená středníkem | propositional logic; propositional proof complexity |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Reports on mathematical logic |
|---|---|
| ISSN | 0137-2904 |
| e-ISSN | - |
| Svazek periodika | 44 |
| Číslo periodika v rámci uvedeného svazku | Jun |
| Stát vydavatele periodika | PL - Polská republika |
| Počet stran výsledku | 34 |
| Strana od-do | 167-200 |
| Kód UT WoS článku podle Web of Science | 000270972500008 |
| EID výsledku v databázi Scopus | - |
| Způsob publikování výsledku | - |
| Předpokládaný termín zveřejnění plného textu výsledku | - |
Ostatní informace o výsledku
| Předkladatel | Matematický ústav AV ČR, v. v. i. |
|---|---|
| Dodavatel | AV0 - Akademie věd České republiky (AV ČR ) |
| Rok sběru | 2013 |
| Specifikace | RIV/67985840:_____/09:00380563!RIV13-AV0-67985840 |
| Datum poslední aktualizace výsledku | 29.05.2013 |
| Kontrolní číslo | 43529035 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný AV ČR v programu IA | IAA1019401 - Teorie, důkazy a výpočetní složitost (2004 - 2008) |
|---|---|
| Výzkumný záměr podporovaný AV ČR | AV0Z10190503 - Rozvoj a prohloubení obecných matematických poznatků a jejich užití v dalších vědních oborech a v praxi (2005 - 2010) |