Theoretical Computer Science
Library Home || Full Table of Contents || Library Help
|The journal is mathematical and abstract in spirit, but derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and to provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing. Papers are grouped in two sections: Algorithms, automata, complexity and games; and Logic, semantics and theory of programming.|
|Math Topics:||Algorithms, Logic/Foundations, Operations Research, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.