Local Termination: theory and practice

Logic + control: An example of program construction

Logic Column 10: Specifying Confidentiality

Logic Column 11: The Finite and the Infinite in Temporal Logic

Logic Column 12: Logical Verification and Equational Verification

Logic Column 14: Nominal Logic and Abstract Syntax

Logic Column 15: Coalgebras and Their Logics

Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight

Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra

Logic Column 18: Alternative Logics: A Book Review

Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics

Logic Learning in Hopfield Networks

Logic Meets Algebra: the Case of Regular Languages

Logic Mining Using Neural Networks

Logic Programming with Default, Weak and Strict Negations

Logic Programming, Functional Programming, and Inductive Definitions

Logic programs with monotone cardinality atoms

Logic, Individuals and Concepts

Logical Characterizations of Heap Abstractions

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation