https://arxiv.org/abs/2312.05750
[2312.05750] Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic
Abstract page for arXiv paper 2312.05750: Hyperresolution for Multi-step Fuzzy Inference in Goedel Logic
fuzzy inference231205750multi
https://arxiv.org/abs/1901.05750
[1901.05750] TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs
Abstract page for arXiv paper 1901.05750: TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs