Cs-Lo
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
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
Weighted Logics for Nested Words and Algebraic Formal Power Series
Infinite Time Cellular Automata: A Real Computation Model
Multiply-Recursive Upper Bounds with Higmans Lemma
Algebraic Notions of Termination
Classical and Intuitionistic Subexponential Logics are Equally Expressive
Computing with space: a tangle formalism for chora and difference
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Closed-set-based Discovery of Bases of Association Rules
Formal verification of a time-triggered hardware interface
Logical complexity of graphs: a survey
Reversible Gates in Emerging Quantum-dot Cellular Automata Technology: An Innovative Approach to Design and Simulation
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces
A Coinductive Calculus for Asynchronous Side-effecting Processes
A convenient differential category
Beating the Productivity Checker Using Embedded Languages
