Search Results - Calculus

Refine Results
  1. Cover Image

    Algebraic Pattern Matching in Join Calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    Resource Usage Analysis for the Pi-Calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Projection or admittance? Presupposition accommodation and the Karttunen calculus

    Published in Linguistics and Philosophy (2025)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    A Calculus for Scoped Effects & Handlers

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    Efficient Evaluation of Arbitrary Relational Calculus Queries

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Relational Models for the Lambek Calculus with Intersection and Constants

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Encoding many-valued logic in $lambda$-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Towards a Minimal Stabilizer ZX-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    A diagrammatic calculus of fermionic quantum circuits

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    An estimation for the lengths of reduction sequences of the $lambdamurhotheta$-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    Lineal: A linear-algebraic Lambda-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    Probabilistic modal {mu}-calculus with independent product

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    RPO, Second-order Contexts, and Lambda-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Formalising the pi-calculus using nominal logic

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    Light Logics and the Call-by-Value Lambda Calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Call-by-value Termination in the Untyped lambda-calculus

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    A Study of 31 Patients with Primary Complaint of Halitosis in a Tertiary Hospital in South-Western Nigeria.

    Published 2019
    Subjects: “…plaque and calculus…”
    Full Text Available
    Access Repository
    Article
    Save to List
    Saved in:
  18. Cover Image

    The Triple Calculus Model: The Case of Location Privacy in Smartphones

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    An Operational Calculus Model with the (m,n) - Symmetric Difference

    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    A Deductive Refinement Calculus for Differential-Algebraic Programs

    Published in ArXiv cs.LO Recent Papers (2026)
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: