Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aleksandr Karbyshev
On Monadic Parametricity of Second-Order Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying a Local Generic Solver in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Linear Delay Enumeration and Monadic Second-Order Logic
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Ordering Constraints Over Feature Trees Expressed in Second-Order Monadic Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Minimization of Vectors of Curvilinear Functionals on Second-Order Jet Bundle: Dual Program Theory
Abstract and Applied Analysis
Applied Mathematics
Analysis
Application of the Second-Order Comprehensive Adjoint Sensitivity Analysis Methodology to Compute First- And Second-Order Sensitivities of Flux Functionals in a Multiplying System With Source
Nuclear Science and Engineering
Engineering
Nuclear Energy
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Second Order Differential Inequalities
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Second Order Bayes Prediction of Functionals of Exponential Dispersion Distributions and an Application to the Prediction of the Tails
ASTIN Bulletin
Accounting
Economics
Econometrics
Finance
Reply to “Comment on “Nonuniqueness of Algebraic First-Order Density-Matrix Functionals” ”
Physical Review A
Optics
Atomic
Molecular Physics,
