Kosmix
One sec... we're building your guide for
European Association for Theoretical Computer Science
European Association for Theoretical Computer Science
Overview
Main ›
Tweets
Twitter.com
One sec... we're getting the
Tweets
More from Twitter.com »
Related in the Kosmos
?
Theoretical computer science
(15)
Algorithm characterizations
International Colloquium on Automata, Languages and Programming
Automated reasoning
Algorithm examples
STACS
STACS
Logic in computer science
Formal methods
Electronic Notes in Theoretical Computer Science
Fundamenta Informaticae
Formal languages
FOCS
Computational complexity theory
SIGACT
Theoretical computer scientists
Evolutionary computation
more...
Computer science organizations
IEEE Computer Society
ACM Press
Computer science education
International nongovernmental organizations
IEEE Computer Society
ACM Press
Formal sciences
(48)
Computer science
Logic
Operational research
Actuarial science
Artificial intelligence
Artificial intelligence
Bioinformatics
Campus in Multidisciplinary Perception and Intelligence of Albacete 2006
Chaos
Charles A S Hall
Classification systems
Complex systems
Computational linguistics
Control theory
Cryptography
Cybernetics
Data compression
Data mining
Decision theory
Econometrics
Economics and energy
Formal languages
Formal methods
Formal ontology
Formal science
Formal system
Formal theories
Grammar systems theory
Homeokinetics
Image analysis
Information theory
Mathematical finance
Mathematics
Methodology
Micro-X-ray fluorescence
Pattern recognition
Praxeology
Queueing theory
Risk analysis (Business)
Scientific modeling
Standards
Statistical physics
Statistics
Systems ecology
Systems science
Theoretical computer science
Thermoeconomics
Time series
Wikipedia:Books on formal sciences
more...
Computer science
(9)
Algorithms
LICS
IJCAR
Dagstuhl
SIGSAM
SIGSAM
Symposium on Parallelism in Algorithms and Architectures
International Conference on Logic Programming
Theoretical computer science
Fundamenta Informaticae
more...
Recursion theory
Post-Turing machine
Turing computable
Entscheidu- ngsproblem
Algorithm characterizations
Algorithm examples
Software engineering
Software engineering demographics
Comparing software engineering and related fields
Formal methods
Logic in computer science
Logic programming
Typed lambda calculi
Dynamic logic (modal logic)
Type-theoretic
Automated deduction
LICS
Formal methods
Mathematical logic
(8)
Proof theory
Modal logic
Finite model theory
Automated deduction
Computability
Computability
Logic in computer science
Formal languages
Entscheidu- ngsproblem
more...
Logic conferences
(11)
Rewriting Techniques and Applications
Theorem Proving in Higher Order Logics
Computer Aided Verification
Conference on Automated Deduction
Federated Logic Conference
Federated Logic Conference
IJCAR
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
International Conference on Logic Programming
International Symposium on Logic-based Program Synthesis and Transformation
International Workshop on First-Order Theorem Proving
LICS
more...
Association for Computing Machinery Special Interest Groups
(17)
ACM SIGPLAN
SIGCSE
SIGKDD
SIGMOD
Special Interest Group on Information Retrieval
Special Interest Group on Information Retrieval
ACM SIGGRAPH
SIGACT
SIGCHI
SIGCOMM
SIGDOC
SIGMM
SIGMOBILE
SIGSAM
SIGSOFT
SIGUCCS
Special Interest Group on Accessible Computing
Special Interest Group on Design Automation
more...
Members of Academia Europaea
Yuri Gurevich
Arto salomaa
Gordon Plotkin
Moshe Vardi
20th-century mathematicians
(8)
Emil Post
Andreas Blass
Frege
S. C. Kleene
J. B. Rosser
J. B. Rosser
Dana S. Scott
Alonzo Church
Alan turing
more...
Theoretical computer science conferences
(24)
European Symposium on Algorithms
STOC
Algorithmic Number Theory Symposium
Computer Aided Verification
Conference on Automated Deduction
Conference on Automated Deduction
Conference on Implementation and Application of Automata
Descriptional Complexity of Formal Systems
European Symposium on Algorithms (ALGO conferences)
FOCS
Federated Logic Conference
IJCAR
International Colloquium on Automata, Languages and Programming
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
International Conference on Developments in Language Theory
International Symposium on Distributed Computing
International Symposium on Graph Drawing
International Workshop on First-Order Theorem Proving
LICS
Rewriting Techniques and Applications
STACS
SWAT and WADS conferences
Symposium on Parallelism in Algorithms and Architectures
Symposium on Principles of Distributed Computing
Theorem Proving in Higher Order Logics
more...
See also
(20)
Lecture Notes in Computer Science
Decrease and conquer algorithm
S. C. Kleene
Automated deduction
Effective calculability
Effective calculability
Linear logic
Springer Verlag
IEEE Computer Society Press
J. B. Rosser
Applied logic
IFIP
Statistical model validation
Boolos
Declarative programming
Symbolic logic
Pseudocode
Rosenberg, Texas
Multi-agent systems
Dana S. Scott
Satisfiability
more...
more categories...