Archive for the ‘Logic and Computation’ Category
Ehrenfeucht-Fraïssé Games: Applications and Complexity
Posted under: Course and Workshop Descriptions; Logic and Computation.
Implicit Computational Complexity
Posted under: Course and Workshop Descriptions; Logic and Computation.
Specification and Verification of Multi-Agent Systems
Posted under: Course and Workshop Descriptions; Logic and Computation.
Proof Complexity of Non-Classical Logics
Posted under: Course and Workshop Descriptions; Logic and Computation.
Answering Queries in Description Logics: Theory and Applications to Data Management
Posted under: Course and Workshop Descriptions; Logic and Computation.
Decidable problems for counter machines
Posted under: Course and Workshop Descriptions; Logic and Computation.
Dependence and Independence in Logic
Posted under: Course and Workshop Descriptions; Logic and Computation.
Introduction to Category Theory, Algebras and Coalgebras
Posted under: Course and Workshop Descriptions; Logic and Computation.
Kripke’s World: an introduction to modal logics via tableau systems
Posted under: Course and Workshop Descriptions; Logic and Computation.
Structured Operational Semantics
Posted under: Course and Workshop Descriptions; Logic and Computation.
Ten problems of deontic logic and normative reasoning in computer science
Posted under: Course and Workshop Descriptions; Logic and Computation.
The Complexity of Constraint Satisfaction
Posted under: Course and Workshop Descriptions; Logic and Computation.
