Concepedia

Pavol Macko

PM

2

Publications

29

Citations

2

H-Index

2011

Active since

Affiliations

Technical University of Košice(Current)

Pavol Macko is an author at Technical University of Košice specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceSemanticsCoding TheoryFormal MethodsProgram AnalysisNumerical AnalysisAutomated ReasoningMathematical ModelingComputational Mechanics

Publications per year

2011–2016

2

Publications

2

Some New Approaches in Functional Programming Using Algebras and Coalgebras

Viliam Slodičák, Pavol Macko · Electronic Notes in Theoretical Computer Science · 2011 · 16 citations · Full text

Mathematical Programming, Algebraic Logic, Declarative Programming +15

Some properties of coalgebras and their rôle in computer science

William Steingartner, Davorka Radaković, František Valkošák et al. · Journal of Applied Mathematics and Computational Mechanics · 2016 · 13 citations · Full text

Numerical Analysis, Applied Mathematical Modelling, Hopf Algebra +10

Rows per page

1–2 of 2