Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,064,083 papers from all fields of science
Search
Sign In
Create Free Account
Formation rule
Known as:
Formation rules
In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
First-order logic
Formal grammar
Formal language
Interpretation (logic)
Expand
Broader (1)
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Corrosion-resistant high-entropy alloys: A review
Yunzhu Shi
,
Bin Yang
,
P. Liaw
2017
Corpus ID: 49395444
Corrosion destroys more than three percent of the world’s gross domestic product. Therefore, the design of highly corrosion…
Expand
Highly Cited
2011
Highly Cited
2011
Improving identifier informativeness using part of speech information
D. Binkley
,
Matthew Hearn
,
Dawn J Lawrie
IEEE Working Conference on Mining Software…
2011
Corpus ID: 3752976
Recent software development tools have exploited the mining of natural language information found within software and its…
Expand
Highly Cited
2003
Highly Cited
2003
Word-Formation in English
Ingo Plag
2003
Corpus ID: 10352622
Introduction 1. Basic concepts 2. Studying complex words 3. Productivity and the mental lexicon 4. Affixation 5. Derivation…
Expand
2002
2002
Bringing order to query optimization
Giedrius Slivinskas
,
Christian S. Jensen
,
R. Snodgrass
SGMD
2002
Corpus ID: 3372264
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new…
Expand
Highly Cited
1994
Highly Cited
1994
Feature-based inheritance networks for computational lexicons
Hans-Ulrich Krieger
,
J. Nerbonne
1994
Corpus ID: 14438988
The virtues of viewing the lexicon as an inheritance network are its succinctness and its tendency to highlight significant…
Expand
Highly Cited
1993
Highly Cited
1993
A-Morphous morphology
S. Anderson
1993
Corpus ID: 121844001
Review
1992
Review
1992
Conceptual graphs
J. Sowa
Knowledge-Based Systems
1992
Corpus ID: 797728
Highly Cited
1983
Highly Cited
1983
Conversion of control dependence to data dependence
John R. Allen
,
K. Kennedy
,
Carrie Porterfield
,
J. Warren
ACM-SIGACT Symposium on Principles of Programming…
1983
Corpus ID: 39279813
Program analysis methods, especially those which support automatic vectorization, are based on the concept of interstatement…
Expand
Highly Cited
1979
Highly Cited
1979
Russian morphology and lexical theory
D. Pesetsky
1979
Corpus ID: 115770364
[1998 Note: This was my phonology generals paper. It contains a certain amount of misanalysis and misinformation, some of it…
Expand
Highly Cited
1966
Highly Cited
1966
Flow diagrams, turing machines and languages with only two formation rules
C. Böhm
,
G. Jacopini
CACM
1966
Corpus ID: 10236439
In the first part of the paper, flow diagrams are introduced to represent inter ah mappings of a set into itself. Although not…
Expand
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