Journal · RAIRO
947
Publications
10.9K
Citations
Top concepts
EngineeringComputer ScienceFormal MethodsComputational ComplexityLinguisticsDiscrete MathematicsAutomated ReasoningLanguageFormal VerificationCombinatorial Optimization
Publications per year
1977–2021
947
947
Notes on finite asynchronous automata
Wiesław Zielonka · 1987 · 287 citations · Full text
A limit theorem for “quicksort”
Uwe Rösler · 1991 · 239 citations · Full text
Adhesive and quasiadhesive categories
Stephen Lack, Paweł Sobociński · 2005 · 204 citations
1–5 of 947