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… 
Review
2012
Review
2012
The Chalonge 15th Paris Cosmology Colloquium 2011 was held on 20-22 July in the historic Paris Observatory's Perrault building… 
1997
1997
This volume contains the papers from the 45th Colloquium Biblicum Lovaniense, held in Leuven in 1996. The book comprises 14… 
1996
1996
of the Dissertation E cient Graph-Based Algorithms for Model Checking in the Modal Mu-Calculus by Oleg Sokolsky Doctor of…