String rewriting and proof complexity: an interpretation of resolution

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F09%3A00380563" target="_blank" >RIV/67985840:_____/09:00380563 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

String rewriting and proof complexity: an interpretation of resolution

Popis výsledku v původní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.

Název v anglickém jazyce

String rewriting and proof complexity: an interpretation of resolution

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA1019401" target="_blank" >IAA1019401: Teorie, důkazy a výpočetní složitost</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Reports on mathematical logic

ISSN

0137-2904

e-ISSN

—

Svazek periodika

44

Číslo periodika v rámci 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

000270972500008

EID výsledku v databázi Scopus

—