Normal forms, Distributive laws, and Uniform interpolants
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Normal forms, Distributive laws, and Uniform interpolants
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
C - Chapter in a specialist book
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/IAA900090703" target="_blank" >IAA900090703: Dynamic Formal Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Consequence, Inference, Structure: Miscellanea Logica VII
ISBN
978-80-7308-261-1
Number of pages of the result
11
Pages from-to
—
Number of pages of the book
144
Publisher name
UK FF
Place of publication
Praha
UT code for WoS chapter
—