Search
Search Constraints
You searched for: ISSN 0955-792XLimit your search
- 005.115 417
- Computational complexity -- Periodicals 417
- Logic programming -- Periodicals 417
- Logic, Symbolic and mathematical -- Periodicals 417
- First-Order Logic of Proofs -- lambda calculus -- natural deduction -- curry howard isomorphism 2
- Knowledge -- formal epistemology -- modal logic -- communication network 2
- Modal Logic -- Justification Logic -- Curry-Howard -- Lambda Calculus -- History-based computation 2
- Modal logic -- possibility semantics -- correspondence theory -- Sahlqvist correspondence theorem 2
- Products of modal logics -- expanding relativized products -- finite-variable fragments -- computational complexity -- satisfiability problem -- validity problem 2
- philosophy of information -- philosophy of computer science -- identity criteria -- copy -- process algebra 2