Search Results - "Algebra and Logic"

Refine Results
  1. 1
    Structural and universal completeness in algebra and logic

    Structural and universal completeness in algebra and logic by Aglianò, Paolo, Ugolini, Sara

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Algebra and logic for resource-based systems modelling

    Algebra and logic for resource-based systems modelling by COLLINSON, MATTHEW, PYM, DAVID

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia

    Algebra and Logic: Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia by Crossley, John N

    Get full text
    Book
    Save to List
    Saved in:
  4. 4
    Algebra and logic for access control

    Algebra and logic for access control by Collinson, Matthew, Pym, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981),

    S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. - S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. - S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. - J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981), by Turetsky, Daniel

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Newton-Hooke/Carrollian expansions of (A)dS and Chern-Simons gravity

    Newton-Hooke/Carrollian expansions of (A)dS and Chern-Simons gravity by Gomis, Joaquim, Kleinschmidt, Axel, Palmkvist, Jakob, Salgado-Rebolledo, Patricio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

    Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free by Gabbay, Murdoch J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    A probabilistic modal logic for context-aware trust based on evidence

    A probabilistic modal logic for context-aware trust based on evidence by Aldini, Alessandro, Curzi, Gianluca, Graziani, Pierluigi, Tagliaferri, Mirko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    The Constructive Kan–Quillen Model Structure: Two New Proofs

    The Constructive Kan–Quillen Model Structure: Two New Proofs by Gambino, Nicola, Sattler, Christian, Szumiło, Karol

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Physiologically Based Toxicokinetic Modeling of Bisphenols in Zebrafish (Danio rerio) Accounting for Variations in Metabolic Rates, Brain Distribution, and Liver Accumulation

    Physiologically Based Toxicokinetic Modeling of Bisphenols in Zebrafish (Danio rerio) Accounting for Variations in Metabolic Rates, Brain Distribution, and Liver Accumulation by Chelcea, Ioana, Örn, Stefan, Hamers, Timo, Koekkoek, Jacco, Legradi, Jessica, Vogs, Carolina, Andersson, Patrik L.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Hausdorff dimension of recurrence sets

    Hausdorff dimension of recurrence sets by Hu, Zhang-nan, Persson, Tomas

    Published in Nonlinearity
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  12. 12
    Two-level type theory and applications

    Two-level type theory and applications by Annenkov, Danil, Capriotti, Paolo, Kraus, Nicolai, Sattler, Christian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    A Hilbert‐space variant of Geršgorin's circle theorem

    A Hilbert‐space variant of Geršgorin's circle theorem by Carlsson, Marcus, Rubin, Olof

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Erratum to: Algebra and logic for access control

    Erratum to: Algebra and logic for access control by Collinson, Matthew, Pym, David

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  15. 15
    The finitely generated Hausdorff spectra of a family of pro-p groups

    The finitely generated Hausdorff spectra of a family of pro-p groups by de las Heras, Iker, Thillaisundaram, Anitha

    Published in Journal of algebra
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  16. 16
    Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps

    Near-optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps by Berkholz, Christoph, Nordström, Jakob

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  17. 17
    The Frobenius condition, right properness, and uniform fibrations

    The Frobenius condition, right properness, and uniform fibrations by Gambino, Nicola, Sattler, Christian

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    The three-pion K-matrix at NLO in ChPT

    The three-pion K-matrix at NLO in ChPT by Baeza-Ballesteros, Jorge, Bijnens, Johan, Husek, Tomáš, Romero-López, Fernando, Sharpe, Stephen R., Sjö, Mattias

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  19. 19
    A Jensen–Rohrlich type formula for the hyperbolic 3-space

    A Jensen–Rohrlich type formula for the hyperbolic 3-space by Herrero, S., Imamoḡlu, Ö., von Pippich, A.-M., Tóth, Á.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  20. 20
    From Monge–Ampère equations to envelopes and geodesic rays in the zero temperature limit

    From Monge–Ampère equations to envelopes and geodesic rays in the zero temperature limit by Berman, Robert J.

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: