Sage Journals: Discover world-class research

Retricted access

Research article

First published 2025-2

Choice principles characterizing the difference between König’s lemma and weak König’s lemma in constructive reverse mathematics

Makoto Fujiwara, Takako Nemoto

Computability

Retricted access

Research article

First published 2001-06

Lemma congruence checking between languages as an organizing principle in intrasentential codeswitching

Longxing Wei

International Journal of Bilingualism

Retricted access

Research article

First published 2013-2

Weak König’s Lemma Implies the Uniform Continuity Theorem

Hannes Diener

Computability

Retricted access

Research article

First published 2023-11

An improved bounded real lemma for H ∞ robust heading control of unmanned surface vehicle

Yanwei Huang, Peng Huang

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2021-2

Two versions of the extended Hill’s lemma for non-Cauchy continua based on the couple stress theory

A I Gad, X-L Gao

Mathematics and Mechanics of Solids

Retricted access

Research article

First published 2023-7

An extended Hill’s lemma for non-Cauchy continua based on the modified couple stress and surface elasticity theories

Ahmad I Gad, Xin-Lin Gao

Mathematics and Mechanics of Solids

Open access

Research article

First published 2010-2

Lemmas on Demand for the Extensional Theory of Arrays

Robert Brummayer, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1993-3

A Useful Lemma and its Application to Negative Binomial Distribution

G. G. Hambdani

Calcutta Statistical Association Bulletin

Retricted access

Research article

First published 2012-12

Ruelle's lemma and Ruelle zeta functions

Paul Wright

Asymptotic Analysis

Retricted access

Research article

First published 2022-8-25

Automatic generation of sources lemmas in Tamarin : Towards automatic proofs of security protocols 1

Véronique Cortier, Stéphanie Delaune, Jannik Dreier [...]

Journal of Computer Security

Search results