Skip to search formSkip to main contentSkip to account menu

ICALP

ICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
In Berlin hat sich eine Runde junger Forscherinnen und Forscher zusammengefunden, die sich regelmasig in einem gemeinsamen… 
2013
2013
Taking issue with the classical theory of path dependence, we capture the active agency involved in collective efforts aimed at… 
1996
1996
of the Dissertation E cient Graph-Based Algorithms for Model Checking in the Modal Mu-Calculus by Oleg Sokolsky Doctor of… 
1982
1982
Many aspects of symbiotic stars have long puzzled astronomers. For instance while most students of the subject have considered…