Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-12

Reducibility Proofs in the λ-Calculus

Fairouz Kamareddine, Vincent Rahli, J. B. Wells

Fundamenta Informaticae

Retricted access

Research article

First published 2019

Gamma-Reduction in Type Theory of Acyclic Recursion

Roussanka Loukanova

Fundamenta Informaticae

Retricted access

Research article

First published 2000-10

Two Problems on Reduction Graphs in Lambda Calculus

Benedetto Intrigila, Anna R. Laurenzi

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

An improved algorithm for calculating fuzzy attribute reducts

Junhai Zhai, Mengyao Zhai, Chenyan Bai

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1995-12

Reduction in Accumulation of Plaque,Stain,and Calculus in Dogs by Dietary Means

Lyn Jensen, Ellen Logan, Oliver Finney [...]

Journal of Veterinary Dentistry

Retricted access

Research article

First published 2009-6

Soft Rawhide Reduces Calculus Formation in Dogs

George K. Stookey

Journal of Veterinary Dentistry

Retricted access

Research article

First published 2024-4

Dose 4 You: Dose Division Calculator—A Tool to Reduce Calculation Errors

Jehath Syed, Madhan Ramesh, Teggina Math Pramod Kumar [...]

Hospital Pharmacy

Retricted access

Research article

First published 1990-02

Reduction of Calculus Accumulation in Domestic Ferrets With Two Dentifrices Containing Pyrophosphate

P.H. Mann, D.S. Harper, S. Regnier

Journal of Dental Research

Retricted access

Research article

First published 1996-11

Reduction of window design risk in houses: Testing a simple calculation method

N.C. Harper, B.F. Warren

Building Services Engineering Research & Technology

Retricted access

Other

First published 2010-1

Ways to Reduce Drug Dose Calculation Errors in Children

Ian Wong

Journal of Health Services Research & Policy

Search results