Cs-Lo
Adapting a Formal Model Theory to Applications in Augmented Personalized Medicine
Herbrand Consistency of Some Arithmetical Theories
On the strength of proof-irrelevant type theories
Independence and concurrent separation logic
Tactics for Reasoning modulo AC in Coq
Causal and Compositional Abstraction
Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model
Topological Self-Stabilization with Name-Passing Process Calculi
RPO, Second-order Contexts, and Lambda-calculus
Computation Tree Logic with Deadlock Detection
A program logic for higher-order procedural variables and non-local jumps
Adaptive Scheduling of Data Paths using Uppaal Tiga
A Tighter Bound for the Determinization of Visibly Pushdown Automata
Knowledge bases over algebraic models. Some notes about informational equivalence
Weak Affine Light Typing: Polytime intensional expressivity, soundness and completeness
Automated Predicate Abstraction for Real-Time Models
On characterising strong bisimilarity in a fragment of CCS with replication
Highly Undecidable Problems about Recognizability by Tiling Systems
Syntax diagrams as a formalism for representation of syntactic relations of formal languages
Interacting Quantum Observables: Categorical Algebra and Diagrammatics
Hybrid Branching-Time Logics
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study
