Anna Tirpáková

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 1

Top Topics

Computational Effort

Knowledge Representation

Top Venues

Publications

Igor Líska, Beloslav Riecan, Anna Tirpáková
An Alternative to Real Number Axioms. Axioms 7 (3) (2018)
Beáta Stehlíková, Dagmar Markechová, Anna Tirpáková
On the existence of a Haar measure in topological IP-loops. Kybernetika 47 (5) (2011)