You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
The 24th International Workshop on Computer Science Logic (CSL) 2010 ==Topics== *Program Extraction and Constructive Proofs / Classical Logic and Computation *Randomized and Quantum Computation, *Workshop on Fixed Points in Computer Science *Young Researchers Forum *Theory and Algorithmic Aspects of Graph Crossing Number *International Workshop on Reachability Problems *Games and Probabilistic Models in Formal Verification *Mathematical Foundations of Fuzzy Logics *Logic, Combinatorics and Computation *Parametrized Complexity of Computational Reasoning
Save page Show preview Cancel