Search Results

Refine Results
  1. Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

    Get full text
    Online Article RSS Article
  2. Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems

    Get full text
    Online Article RSS Article
  3. Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

    Get full text
    Online Article RSS Article
  4. A Universal Ordinary Differential Equation

    Get full text
    Online Article RSS Article
  5. First-order queries on classes of structures with bounded expansion

    Get full text
    Online Article RSS Article
  6. Distances between States and between Predicates

    Get full text
    Online Article RSS Article
  7. Continuity of Functional Transducers: A Profinite Study of Rational Functions

    Get full text
    Online Article RSS Article
  8. Decreasing Diagrams for Confluence and Commutation

    Get full text
    Online Article RSS Article
  9. A syntactic approach to continuity of T-definable functionals

    Get full text
    Online Article RSS Article
  10. The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

    Get full text
    Online Article RSS Article
  11. Coaxioms: flexible coinductive definitions by inference systems

    Get full text
    Online Article RSS Article
  12. Recursion Schemes, the MSO Logic, and the U quantifier

    Get full text
    Online Article RSS Article
  13. On Nominal Syntax and Permutation Fixed Points

    Get full text
    Online Article RSS Article
  14. McShane-Whitney extensions in constructive analysis

    Get full text
    Online Article RSS Article
  15. Continuous Regular Functions

    Get full text
    Online Article RSS Article
  16. Regular Tree Algebras

    Get full text
    Online Article RSS Article
  17. Signatures and Induction Principles for Higher Inductive-Inductive Types

    Get full text
    Online Article RSS Article
  18. Minimization of visibly pushdown automata is NP-complete

    Get full text
    Online Article RSS Article
  19. An operational interpretation of coinductive types

    Get full text
    Online Article RSS Article
  20. Overlap Algebras: a Constructive Look at Complete Boolean Algebras

    Get full text
    Online Article RSS Article