Kjelstrøm, Adam Husted
- The Decidability and Complexity of Interleaved Bidirected Dyck Reachability
2021/11/10 by Adam Husted Kjelstrøm, Kjelstrøm, Adam Husted, Andreas Pavlogiannis +1 · 1 citation
Decision Sciences · Computer Science · Chemistry · #Scientific Computing and Data Management #Advanced Database Systems and Queries #Mass Spectrometry Techniques and Applications
- Program Analysis via Multiple Context Free Language Reachability
2024/11/10 by Conrado, Giovanna Kobus, Kjelstrøm, Adam Husted, Pavlogiannis, Andreas +1 · 2 citations
#Computational Complexity (cs.CC) #D.3.0 #F.2.0 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)