Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Beta normal form

Known as: HNF, Normal form, Beta redex 
In the lambda calculus, a term is in beta normal form if no beta reduction is possible. A term is in beta-eta normal form if neither a beta reduction… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Soybean biological N₂ fixation (BNF) relationships with fertilizer N and yield response have been comprehensively reviewed in the… Expand
  • table 2
  • table 3
  • figure 1
  • figure 2
  • figure 3
Review
2017
Review
2017
Regulatory response and interaction of Bradyrhizobium and arbuscular mycorrhizal fungi (AMF) play a vital role in rhizospheric… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
2006
Highly Cited
2006
This study examines the potential, magnitude, and causes of enhanced biological N2 fixation (BNF) by common beans (Phaseolus… Expand
  • table 1
  • figure 1
  • figure 2
  • table 2
  • table 3
Highly Cited
2006
Highly Cited
2006
The availability of Haber-Bosch nitrogen (N) has permitted agricultural intensification and increased the productive capacity of… Expand
  • table 1
  • table 2
  • table 4
  • table 3
  • table 5
Highly Cited
2000
Highly Cited
2000
!# $% '&( ) ) * + ! ' , * ' * ' . ./0 ' 1 * . '&* ' % 2 ) *!3 $% ) 4 ' " + $% ) * 65 7189 :, " !; * $4 ) @ & A B C D E . * . ! F… Expand
Highly Cited
1995
Highly Cited
1995
Despite the parsing power of LR/LALR algorithms, e.g. YACC, programmers often choose to write recursive‐descent parsers by hand… Expand
Highly Cited
1994
Highly Cited
1994
Abstract We show by means of examples that global complete observability and global stabilizability by state feedback are not… Expand
Highly Cited
1989
Highly Cited
1989
SDF is a formalism for the definition of syntax which is comparable to BNF in some respects, but has a wider scope in that it… Expand
  • figure 5
  • figure 37
  • figure 40
Highly Cited
1985
Highly Cited
1985
0~12 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an… Expand
Highly Cited
1976
Highly Cited
1976
SEQUEL 2 is a relational data language that provides a consistent, English keyword-oriented set of facilities for query, data… Expand
  • figure 1
  • figure 2