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.
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… 
1987
1987
A collection of the original papers presented at an international colloquium on Vector Bundles on Algebraic Varieties held at the… 
1982
1982
Many aspects of symbiotic stars have long puzzled astronomers. For instance while most students of the subject have considered…