Zuzana Haniková

Publications

Citations

H-Index

2001

Active since

Affiliations

Czech Academy of Sciences, Institute of Computer Science(Current)

Zuzana Haniková is an author at Czech Academy of Sciences, Institute of Computer Science specializing in engineering, automated reasoning, and fuzzy logic.

ORCID

Top concepts

EngineeringAutomated ReasoningFuzzy LogicSemanticsComplexityFormal MethodsComputer ScienceComputational Complexity

Publications per year

2001–2014

Publications

Complexity issues in basic logic

Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková · Soft Computing · 2005 · 29 citations

Computational Logic, Engineering, Abstract Complexity +7

A set theory within fuzzy logic

Petr Hájek, Zuzana Haniková · 2002 · 17 citations

Non-classical Logic, Fuzzy Logic, Engineering +10

The finite embeddability property for residuated groupoids

Zuzana Haniková, Rostislav Horčı́k · Algebra Universalis · 2014 · 13 citations

Finite Embeddability Property, Transformation Semigroups, Topological Semigroups +1

Standard algebras for fuzzy propositional calculi

Zuzana Haniková · Fuzzy Sets and Systems · 2001 · 10 citations

Standard Algebras, Algebraic Logic, Fuzzy Logic +4

Rows per page

1–4 of 4