Zuzana Haniková and Petr Savicky - Free people check

(1 - 7 from 7

)

Annual meeting

iuuk.mff.cuni.cz

Zuzana Haniková, Petr Savický: Term satisfiability in FLew-algebras 16:00 Zdeněk Dvořák: Tree-width and separators Abstracts Jaroslaw Byrka: Recent progress on

People at ITI

iti.mff.cuni.cz

cs.cas.cz. David Coufal, Ing. Ph.D. coufal [combine with] cs.cas.cz. Zuzana Haniková, Mgr. PhD. hanikova [combine with] cs.cas.cz. Petr Savický, RNDr. CSc.

Zuzana Haniková & Petr Savicky, Distinguishing standard SBL‐algebras...

philpapers.org

Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A...

[ ] Term satisfiability in FL$_\mathrm{ew}$-algebras

arxiv.org

Authors: Zuzana Haniková, Petr Savický (Submitted on 9 Jan ( v1 ), last revised 29 Jul (this version, v2)) Abstract: FL$_\mathrm{ew}$-algebras form the algebraic semantics of the full Lambek calculus with exchange and weakening.

[ v1] Term satisfiability in FL$_\mathrm{ew}$-algebras

arxiv.org

... Zuzana Haniková, Petr Savicky (Submitted on 9 Jan (this version), latest version 29 Jul ) Abstract: FL$_\mathrm{ew}$-algebras form the algebraic ...

Computer Science authors/titles Jan (310 skipped)

arxiv.org

Title: Term satisfiability in FL$_\mathrm{ew}$-algebras. Authors: Zuzana Haniková, Petr Savicky. Subjects: Logic in Computer Science (cs.LO); Logic (math.LO).

dblp: Petr Savicky

dblp.uni-trier.de

List of computer science publications by Petr Savicky

All web results to the name "Zuzana Haniková"

Related search requests for Zuzana Haniková

Brunella Gerla
Petr Hájek
Amanda Vidal

Igor SedlÃ¡r

People
Forename "Zuzana" (2788)
Name "Haniková" (1)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Zuzana Haniková and Petr Savicky Free People Check