Title
Deciding Synchronous Kleene Algebra with Derivatives
Year
DOI
Venue
2015
10.1007/978-3-319-22360-5_5
CIAA
Field
DocType
Citations 
Kleene algebra,Algebra,Concurrency,Automaton,Partial derivative,Decidability,Equivalence (measure theory),Boolean algebra,Boolean expression,Mathematics
Conference
1
PageRank 
References 
Authors
0.36
19
4
Name
Order
Citations
PageRank
Sabine Broda16413.83
Sílvia Cavadas210.36
Miguel Ferreira3427.14
Nelma Moreira418033.98