Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,465,700 papers from all fields of science
Search
Sign In
Create Free Account
Normalization property (abstract rewriting)
Known as:
Normalization property (lambda-calculus)
, Weakly normalising
, Strongly normalising
Expand
In mathematical logic and theoretical computer science, a rewrite system has the (strong) normalization property or is terminating if every term is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Calculus of constructions
Coq (software)
Induction-recursion
Newman's lemma
Expand
Broader (2)
Lambda calculus
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
A cloud decision framework in pure 2-tuple linguistic setting and its application for low-speed wind farm site selection
Yunna Wu
,
Kaifeng Chen
,
Bingxin Zeng
,
Meng Yang
,
Lingwenying Li
,
Haobo Zhang
2017
Corpus ID: 63660390
Highly Cited
2016
Highly Cited
2016
Black-box Importance Sampling
Qiang Liu
,
J. Lee
International Conference on Artificial…
2016
Corpus ID: 27040702
Importance sampling is widely used in machine learning and statistics, but its power is limited by the restriction of using…
Expand
Highly Cited
2012
Highly Cited
2012
Developing a Speech Activity Detection System for the DARPA RATS Program
Tim Ng
,
Bing Zhang
,
+5 authors
P. Matejka
Interspeech
2012
Corpus ID: 16107228
This paper describes the speech activity detection (SAD) system developed by the Patrol team for the first phase of the DARPA…
Expand
Highly Cited
2010
Highly Cited
2010
Model clone detection in practice
F. Deißenböck
,
B. Hummel
,
Elmar Jürgens
,
M. Pfaehler
,
B. Schätz
International Workshop on Software Clones
2010
Corpus ID: 1239542
Cloned code is considered harmful for two reasons: (1) multiple, possibly unnecessary, duplicates of code increase maintenance…
Expand
Review
2009
Review
2009
Normativity and Normalization
D. Taylor
2009
Corpus ID: 54725452
This article illustrates ways in which the concepts of the norm and normativity are implicated in relations of power…
Expand
Review
2000
Review
2000
Eigen Analysis of Networks
William Richards
,
A. Seary
Journal of Social Structure
2000
Corpus ID: 42951336
: We present an overview of eigen analysis methods and their applications to network analysis. We consider several network…
Expand
Highly Cited
1999
Highly Cited
1999
Support Vector Machines for Multi-class Classification
E. Mayoraz
,
Ethem Alpaydin
International Work-Conference on Artificial and…
1999
Corpus ID: 17239121
Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is…
Expand
Highly Cited
1995
Highly Cited
1995
Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection
Roel Bloo
,
Kristooer H Rose
1995
Corpus ID: 14256668
In this paper we introduce and study a new-calculus with explicit substitution, xgc, which has two distinguishing features: rst…
Expand
Highly Cited
1994
Highly Cited
1994
From λσ to λν: a journey through calculi of explicit substitutions
P. Lescanne
ACM-SIGACT Symposium on Principles of Programming…
1994
Corpus ID: 17259156
This paper gives a systematic description of several calculi of explicit substitutions. These systems are orthogonal and have…
Expand
Highly Cited
1993
Highly Cited
1993
Linear Logic, Coherence, and Dinaturality
R. Blute
Theoretical Computer Science
1993
Corpus ID: 205094795
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE