Cs-Lo
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
Rewriting and Well-Definedness within a Proof System
Properties of Exercise Strategies
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
Initial Semantics for higher-order typed syntax in Coq
MiniAgda: Integrating Sized and Dependent Types
Abstract Certification of Global Non-Interference in Rewriting Logic
First-order Fragments with Successor over Infinite Words
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms
Rewriting Preserving Recognizability of Finite Tree Languages
Nonuniform Coercions via Unification Hints
Formal Derivation of Concurrent Garbage Collectors
Ludics with repetitions (Exponentials, Interactive types and Completeness)
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
A Family of Encodings for Translating Pseudo-Boolean Constraints into SAT
Efficient Emptiness Check for Timed B"uchi Automata (Extended version)
Geometry of abstraction in quantum computation
Bridging the Gap between Reinforcement Learning and Knowledge Representation: A Logical Off- and On-Policy Framework
Does Treewidth Help in Modal Satisfiability?
Automated Symbolic Analysis of ARBAC-Policies (Extended Version)
Better Quality in Synthesis through Quantitative Objectives
Towards the Development of a Rule-based Drought Early Warning Expert Systems using Indigenous Knowledge
