: Guarded Second-Order Logic, Spanning Trees, and Network Flows.
: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories.
José L. Balcázar
: Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules.
Amir M. Ben-Amram
: Size-Change Termination, Monotonicity Constraints and Ranking Functions.
: Automatic Modular Abstractions for Template Numerical Constraints.
: Initial Algebra Semantics for Cyclic Sharing Tree Structures.
: Modularity of Convergence and Strong Convergence in Infinitary Rewriting.
: Well-definedness of Streams by Transformation and Termination.
: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants.