ℹ️
🇬🇧
Search
Search for people relevant for "Sequent calculus"
Sequent calculus
Person
Class
Person
Publication
Programmes
Export current view
doc. RNDr. Martin Klazar Dr.
Academic staff at Faculty of Mathematics and Physics
1 study programme
8 classes
56 publications
Study programme
programme
Computer Science - Discrete Models and Algorithms
🇨🇿 NMgr. |
Faculty of Mathematics and Physics
Classes
class
Combinatorial Counting
NDMI015 |
Faculty of Mathematics and Physics
class
Analytic and Combinatorial Number Theory
NDMI045 |
Faculty of Mathematics and Physics
class
Algebraic Number Theory and Combinatorics
NDMI066 |
Faculty of Mathematics and Physics
class
Introduction to Number Theory
NMAI040 |
Faculty of Mathematics and Physics
class
Mathematical Analysis 1
NMAI054 |
Faculty of Mathematics and Physics
class
Mathematical Analysis 2
NMAI055 |
Faculty of Mathematics and Physics
class
Mathematical Analysis 3
+1
NMAI056 |
Faculty of Mathematics and Physics
Publications
publication
A jump to the Narayana number for hereditary properties of ordered 3-uniform hypergraphs
2023 |
Faculty of Mathematics and Physics
publication
Are the Catalan numbers a linear recurrence sequence?
2022 |
Faculty of Mathematics and Physics
publication
The Potts model and chromatic functions of graphs
2014 |
Faculty of Mathematics and Physics
publication
Embedding dualities for set partitions and for relational structures
2011 |
Faculty of Mathematics and Physics
publication
Exact algorithms for L(2,1)-labelings of graphs
2011 |
Faculty of Mathematics and Physics
publication
Some general results in combinatorial enumeration
2010 |
Faculty of Mathematics and Physics
publication
On growth rates of permutations, set partitions, ordered graphs and other objects (Article No. R75)
2008 |
Faculty of Mathematics and Physics
publication
Generalizations of Khovanskii's theorems on the growth of sumsets in abelian semigroups
2008 |
Faculty of Mathematics and Physics
publication
Non-holonomicity of sequences defined via elementary functions
2008 |
Faculty of Mathematics and Physics
publication
Counting Keith numbers (article 07.2.2)
2007 |
Faculty of Mathematics and Physics
Load more publications (46)
Loading network view...