Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,354,999 papers from all fields of science
Search
Sign In
Create Free Account
Dyck language
Known as:
Balanced parentheses
, Dyck
, Dyck word
In the theory of formal languages of computer science, mathematics, and linguistics, the Dyck language is the language consisting of balanced strings…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
16 relations
Binary tree
Chomsky–Schützenberger representation theorem
Complexity class
Computer science
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Diagonal recurrence relations for the Stirling numbers of the first kind
Feng Qi (祁锋)
Contributions Discret. Math.
2013
Corpus ID: 40758955
In the paper, the author presents diagonal recurrence relations for the Stirling numbers of the first kind. As by-products, the…
Expand
Highly Cited
2010
Highly Cited
2010
Succinct Trees in Practice
Diego Arroyuelo
,
Rodrigo Cánovas
,
G. Navarro
,
K. Sadakane
Workshop on Algorithm Engineering and…
2010
Corpus ID: 7047919
We implement and compare the major current techniques for representing general trees in succinct form. This is important because…
Expand
Highly Cited
2004
Highly Cited
2004
Efficient Context-Sensitive Intrusion Detection
Jonathon T. Giffin
,
S. Jha
,
B. Miller
Network and Distributed System Security Symposium
2004
Corpus ID: 2257183
Model-based intrusion detection compares a process’s execution against a program model to detect intrusion attempts. Models…
Expand
Highly Cited
2004
Highly Cited
2004
Formalizing sensitivity in static analysis for intrusion detection
H. Feng
,
Jonathon T. Giffin
,
Yong Huang
,
S. Jha
,
Wenke Lee
,
B. Miller
IEEE Symposium on Security and Privacy…
2004
Corpus ID: 7160539
A key function of a host-based intrusion detection system is to monitor program execution. Models constructed using static…
Expand
Highly Cited
2002
Highly Cited
2002
Succinct Representation of Balanced Parentheses and Static Trees
J. Munro
,
Venkatesh Raman
SIAM journal on computing (Print)
2002
Corpus ID: 207079088
We consider the implementation of abstract data types for the static objects: binary tree, rooted ordered tree, and a balanced…
Expand
Highly Cited
2001
Highly Cited
2001
Altair ’ s Oblateness and Rotation Velocity from Long-Baseline Interferometry
Gerard T. van Belle
2001
Corpus ID: 13969695
We present infrared interferometric angular size measurements for the A7IVV star Altair which indicate a non-circular projected…
Expand
Highly Cited
1997
Highly Cited
1997
The effect of wing colour on male behavioural strategies in the speckled wood butterfly
H. Dyck
,
E. Matthysen
,
A. Dhondt
Animal Behaviour
1997
Corpus ID: 53196599
The behaviour of male speckled wood butterflies, Pararge aegeria L. (Satyrinae), was studied in relation to the following…
Expand
Highly Cited
1986
Highly Cited
1986
Parallel complexity of logical query programs
J. Ullman
,
A. V. Gelder
27th Annual Symposium on Foundations of Computer…
1986
Corpus ID: 16613639
We consider the parallel time complexity of logic programs without function symbols, called logical query programs, or Datalog…
Expand
Highly Cited
1984
Highly Cited
1984
Sequential Attributional Feedback and Children's Achievement Behaviors
D. Schunk
1984
Corpus ID: 53603613
Two experiments investigated how the sequence of attributional feedback influences children's motivation, attributions, self…
Expand
Highly Cited
1982
Highly Cited
1982
Effects of Effort Attributional Feedback on Children's Perceived Self-Efficacy and Achievement
D. Schunk
1982
Corpus ID: 25937416
This experiment tested the hypothesis that effort attributional feedback concerning past accomplishments promotes percepts of…
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