Computer Science, Logic in Computer Science
Category: Logic in Computer Science
Page 1/2
Computer Science, Logic in Computer Science
Faster Temporal Reasoning with MeTeoR: Outperforming Query Rewriting
Computer Science, Logic in Computer Science
Agent-Based Synthesis of Coq Proofs: A Graph-Based Approach
Computer Science, Logic in Computer Science
Permissive-Nominal Logic: A New Approach to Abstract Syntax with Variable Binding
Computer Science, Logic in Computer Science
Capture-Avoiding Substitution as a Nominal Algebraic Concept
Computer Science, Logic in Computer Science
Unifying Semirings and Monads in Probabilistic Programming Languages
Computer Science, Logic in Computer Science
Bisimulation and Equivalences in Continuous-Time Markov Processes
Computer Science, Logic in Computer Science
Well-QoRings: A New Framework for Program Termination and Expressive Transition Systems
Computer Science, Logic in Computer Science
Coercive Subtyping: A New Perspective
Computer Science, Logic in Computer Science
Structure-Guided Automated Reasoning: A Guide to Efficient Problem Solving
Computer Science, Logic in Computer Science
Combinatory Algebras and Embeddings: A Study of Partial Combinators
Computer Science, Logic in Computer Science
Comparing TrRuFA and Event-Based Rewriting: A Fairness Assumption Perspective
Computer Science, Logic in Computer Science
Computational Expressivity of (Circular) Proofs with Fixed Points
Computer Science, Logic in Computer Science
Approximating Inference Mechanisms for Purely Existential Constraints in Quantum Computation
Computer Science, Logic in Computer Science
Non-Termination in Term Rewriting and Logic Programming
Computer Science, Logic in Computer Science
Decomposition of Multi-Mode Dual-Port Capacitor DC-DC Converters using Boolean Variables
Computer Science, Logic in Computer Science
Alternative Definition of Answer Sets in Answer Set Programming
Computer Science, Logic in Computer Science
Skolem Function Counting: A New Perspective for Accurate Model Counting
Computer Science, Logic in Computer Science
Unpacking Incorrectness Logic: A Guide to Strongest Postconditions
Computer Science, Logic in Computer Science