Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dana Šalounová
Monadic GMV-algebras
Archive for Mathematical Logic
Philosophy
Logic
Related publications
Projectivity and Unification in the Varieties of Locally Finite Monadic MV-algebras
Monadic Constraint Programming
Journal of Functional Programming
Software
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
Monadic Refinements for Relational Cost Analysis
Proceedings of the ACM on Programming Languages
Monadic Datalog and Regular Tree Pattern Queries
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Termination by Monadic Affine Sized Typing
ACM Transactions on Programming Languages and Systems
Software
On Monadic Parametricity of Second-Order Functionals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generic Monadic Constructs for Embedded Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Delay Enumeration and Monadic Second-Order Logic
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
