Track B: Automata, Logic, Semantics and Theory of Programming

E433422 UNEXPLORED

Track B: Automata, Logic, Semantics and Theory of Programming is a main research track of the International Colloquium on Automata, Languages and Programming focusing on theoretical foundations of computation, programming languages, and formal methods.

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

International Colloquium on Automata, Languages and Programming → hasTrack → Track B: Automata, Logic, Semantics and Theory of Programming →