Skip to content
<title>Channels - Hydra Battles and AC Termination :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Hydra Battles and AC Termination
Search for more channels:
Similar Items: Hydra Battles and AC Termination
Channel Options
View Record
Explore related channels
Quick Look
Star Games and Hydras
Quick Look
Left-Linear Completion with AC Axioms
Quick Look
Subspace-Invariant AC$^0$ Formulas
Quick Look
Algebraic Notions of Termination
Quick Look
Deciding Conditional Termination
Quick Look
Local Termination: theory and practice
Quick Look
Termination in Convex Sets of Distributions
Quick Look
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
Quick Look
Semi-continuous Sized Types and Termination
Quick Look
Well-definedness of Streams by Transformation and Termination
Quick Look
Monotonicity Constraints for Termination in the Integer Domain
Quick Look
Büchi Complementation and Size-Change Termination
Quick Look
Call-by-value Termination in the Untyped lambda-calculus
Quick Look
Ranking Functions for Size-Change Termination II
Quick Look
Termination of Cycle Rewriting by Transformation and Matrix Interpretation
Quick Look
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
Quick Look
Load Characteristics Analysis of Traction Substations of AC Electrified Railway Based on the Measured Load Data
Quick Look
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Quick Look
The Size-Change Termination Principle for Constructor Based Languages
Quick Look
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Quick Look
A Scalable Algorithm for Decentralized Actor Termination Detection
Quick Look
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
Quick Look
Certifying Confluence Proofs via Relative Termination and Rule Labeling
Quick Look
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
Load more items
View Record
Prev
Explore related channels
Next
