Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
In the paper, the author presents diagonal recurrence relations for the Stirling numbers of the first kind. As by-products, the… 
Highly Cited
2010
Highly Cited
2010
We implement and compare the major current techniques for representing general trees in succinct form. This is important because… 
Highly Cited
2004
Highly Cited
2004
Model-based intrusion detection compares a process’s execution against a program model to detect intrusion attempts. Models… 
Highly Cited
2004
Highly Cited
2004
A key function of a host-based intrusion detection system is to monitor program execution. Models constructed using static… 
Highly Cited
2002
Highly Cited
2002
We consider the implementation of abstract data types for the static objects: binary tree, rooted ordered tree, and a balanced… 
Highly Cited
2001
Highly Cited
2001
We present infrared interferometric angular size measurements for the A7IVV star Altair which indicate a non-circular projected… 
Highly Cited
1997
Highly Cited
1997
The behaviour of male speckled wood butterflies, Pararge aegeria L. (Satyrinae), was studied in relation to the following… 
Highly Cited
1986
Highly Cited
1986
We consider the parallel time complexity of logic programs without function symbols, called logical query programs, or Datalog… 
Highly Cited
1984
Highly Cited
1984
Two experiments investigated how the sequence of attributional feedback influences children's motivation, attributions, self… 
Highly Cited
1982
Highly Cited
1982
This experiment tested the hypothesis that effort attributional feedback concerning past accomplishments promotes percepts of…