Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ivan Radiček
Monadic Refinements for Relational Cost Analysis
Proceedings of the ACM on Programming Languages
Related publications
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
Relational Summarization for Corpus Analysis
Relational Analysis for Clustering Consensus
Generic Monadic Constructs for Embedded Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Grey Relational Analysis of Obesity Measurements for Children
Journal of Obesity and Overweight
A Relational Framework for Higher-Order Shape Analysis
ACM SIGPLAN Notices
Computer Science
Generalizations and Refinements for Nesbitt's Inequality
Journal of Mathematical Inequalities
Analysis
Monadic Constraint Programming
Journal of Functional Programming
Software
Monadic GMV-algebras
Archive for Mathematical Logic
Philosophy
Logic
