## HOME## SEARCH## CURRENT ISSUE## REGULAR ISSUES## SPECIAL ISSUES## SURVEY ARTICLES## AUTHORS## ABOUT## Purpose## Open Access## Editorial Board## Executive Board## Advisory Board## Publisher## Assistant Editors## SERVICE## LOGIN## FAQ## SUPPORT## CONTACT |
## Topics of Logical Methods in Computer Science:Algebraic methods Automata and logic Automated deduction Categorical models and logic Coalgebraic methods Computability and Logic Computer-aided verification Concurrency theory Constraint programming Cyber-physical systems Database theory Defeasible reasoning Domain theory Emerging topics: Computational systems in biology Emerging topics: Quantum computation and logic Finite model theory Formalized mathematics Functional programming and lambda calculus Inductive logic and learning Interactive proof checking Logic and algorithms Logic and complexity Logic and games Logic and probability Logic for knowledge representation Logic programming Logics of programs Modal and temporal logics Program analysis and type checking Program development and specification Proof complexity Real time and hybrid systems Reasoning about actions and planning Satisfiability Security Semantics of programming languages Term rewriting and equational logic Type theory and constructive mathematics |