Normal forms, Distributive laws, and Uniform interpolants

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F08%3A00201183" target="_blank" >RIV/00216208:11210/08:00201183 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Normal forms, Distributive laws, and Uniform interpolants

Popis výsledku v původním jazyce

Normal forms are constructed via application of distributive laws, uniform interpolants can often be constructed removing occurrences of speci ed atoms from a normal form of a given formula.

Název v anglickém jazyce

Normal forms, Distributive laws, and Uniform interpolants

Popis výsledku anglicky

Normal forms are constructed via application of distributive laws, uniform interpolants can often be constructed removing occurrences of speci ed atoms from a normal form of a given formula.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA900090703" target="_blank" >IAA900090703: Dynamické formální systémy</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í

2008

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 knihy nebo sborníku

Consequence, Inference, Structure: Miscellanea Logica VII

ISBN

978-80-7308-261-1

Počet stran výsledku

11

Strana od-do

—

Počet stran knihy

144

Název nakladatele

UK FF

Místo vydání

Praha

Kód UT WoS kapitoly

—