Monadic GMV-algebras

Archive for Mathematical Logic - United States
doi 10.1007/s00153-008-0086-2
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Projectivity and Unification in the Varieties of Locally Finite Monadic MV-algebras

English

Monadic Constraint Programming

Journal of Functional Programming
Software
2009English

On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2007English

Monadic Refinements for Relational Cost Analysis

Proceedings of the ACM on Programming Languages
2018English

Monadic Datalog and Regular Tree Pattern Queries

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Probabilistic Termination by Monadic Affine Sized Typing

ACM Transactions on Programming Languages and Systems
Software
2019English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Generic Monadic Constructs for Embedded Languages

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy