Cedric Siems

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Predicate Invention

Covering Arrays

Formal Languages

Closure Properties

Top Venues

Publications

Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel
Detecting and explaining (in)equivalence of context-free grammars. CoRR (2024)