Cs-Lo
Proof Hints for Event-B
Formal Design and Verification of N-M Switching Control System
Terminating Calculi for Propositional Dummett Logic with Subformula Property
PAGAI: a path sensitive static analyzer
Towards an Intelligent Tutor for Mathematical Proofs
Revisiting Timed Specification Theories: A Linear-Time Perspective
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
Asynchronous Multi-Tape Automata Intersection: Undecidability and Approximation
On the complexity of the model checking problem
Learning Onto-Relational Rules with Inductive Logic Programming
Homotopy type theory and Voevodskys univalent foundations
Machine Learning in Proof General: Interfacing Interfaces
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics
Epistemic Temporal Logic for Information Flow Security
Concrete Semantics of Programs with Non-Deterministic and Random Inputs
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
A sequent calculus with procedure calls
Whats in an `is about link? Chemical diagrams and the Information Artifact Ontology
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
On the specification of operations on the rational behaviour of systems
On completeness of reducibility candidates as a semantics of strong normalization
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
