European Association for Theoretical Computer Science

• 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...