Kleene star

Known as: Kleene plus, Σ*, Kleene operators 
In mathematical logic and computer science, the Kleene star (or Kleene operator or Kleene closure) is a unary operation, either on sets of strings or… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
In this paper we give a short, elementary proof of a known result in tropical mathematics, by which the convexity of the column… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Complex event patterns involving Kleene closure are finding application in a variety of stream environments for tracking and… (More)
  • figure 1
Is this relevant?
2005
2005
Most standard approaches to the static analysis of programs, such as the popular worklist method, are first-order methods that… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
$ %& ' ' )( +*, '. (/ . 0213 4 '.3 ' ./ 5 , 6 78 / 9( ' : 4 ; =<&# >0>"4 > .? , %@ 5A( %B(C D(/ "E FG , %& 5A( "'( FG 9 / '# 6 H… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
!# $% '&( ) ) * + ! ' , * ' * ' . ./0 ' 1 * . '&* ' % 2 ) *!3 $% ) 4 ' " + $% ) * 65 7189 :, " !; * $4 < +" = ) * ?> ) @ & A B C… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We present a family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Utilizing recent developments in data envelopment analysis (DEA), this paper examines the performance of the top 55 U.S… (More)
  • figure 1
  • table 1
  • table 2
  • figure 3
  • table 4
Is this relevant?
1996
1996
A classical result from Redko says that there does not exist a complete nite equational axiomatization for the Kleene star modulo… (More)
Is this relevant?
1986
1986
Abs t rac t :The analysis of the famous Kleene's theorem shows that it consists indeed in two different propositions that are… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
This paper considers computational aspects of several temporal representation languages. It investigates an interval-based… (More)
  • figure 1
  • figure 2
  • figure 6
Is this relevant?