Concepedia

Peter Prazňák

PP

1

Publications

20

Citations

1

H-Index

2015

Active since

Affiliations

Technical University of Košice(Current)

Peter Prazňák is an author at Technical University of Košice specializing in formal methods, logic programming, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceLogic ProgrammingNumerical AnalysisAutomated ReasoningFormal VerificationMathematical ModelingComputational Mechanics

Publications per year

2015–2015

1

Publications

1

Linear logic in computer science

William Steingartner, Andrea Poláková, Peter Prazňák et al. · Journal of Applied Mathematics and Computational Mechanics · 2015 · 20 citations · Full text

Numerical Analysis, Applied Logic, Applied Mathematical Modelling +12

Rows per page

1–1 of 1