Suchergebnisse - "Logic in Computer Science (cs.LO)"

Monoid Structures on Indexed Containers

Autoren: De Pascalis, Michele Uustalu, Tarmo Veltrì, Niccolò

Quelle: Electronic Proceedings in Theoretical Computer Science. 430:37-54

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, Programming Languages, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2509.25879

A Function-Set Framework: General Properties and Applications to Modal Logic

Autoren: Bayzid, Luke Madeira, Alexandre Martins, Manuel A.

Quelle: Electronic Proceedings in Theoretical Computer Science. 430:1-7

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2509.25880

Characterization of Lattice Properties Within Modal Extensions

Autoren: Freire, Alfredo R. Martins, Manuel A.

Quelle: Electronic Proceedings in Theoretical Computer Science. 430:26-36

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, F.4.1, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2509.25882

Nominal Sets in Rocq

Autoren: Paranhos, Fabrício Sanches Ventura, Daniel

Quelle: Electronic Proceedings in Theoretical Computer Science. 430:55-68

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, F.3, F.4, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2509.25883

Revisiting Assumptions Ordering in CAR-Based Model Checking

Autoren: Yibo Dong Yu Chen Jianwen Li et al.

Quelle: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2411.00026

A Bargain for Mergesorts: How to Prove Your Mergesort Correct and Stable, Almost for Free

Autoren: Cohen, Cyril Sakaguchi, Kazuhiko

Weitere Verfasser: Cohen, Cyril Sakaguchi, Kazuhiko

Quelle: Proceedings of the ACM on Programming Languages. 9:1-29

Schlagwörter: FOS: Computer and information sciences, Stable sort, Parametricity, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Mergesort, Interactive theorem proving, Data Structures and Algorithms, Logic in Computer Science, Programming Languages, Data Structures and Algorithms (cs.DS), Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2403.08173
https://hal.science/hal-05111866v2
https://hal.science/hal-05111866v2/document
https://doi.org/10.1145/3747505

Verification of Quantum Circuits Through Barrier Certificates Using a Scenario Approach

Autoren: Hu, Siwei Lopata, Victor Soudjani, Sadegh et al.

Quelle: 2025 IEEE International Conference on Quantum Software (QSW). :151-161

Schlagwörter: FOS: Computer and information sciences, Quantum Physics, Logic in Computer Science, FOS: Physical sciences, barrier certificates, formal verification, k-induction, quantum circuits, scenario program, Quantum Physics (quant-ph), Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2506.07635

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images

Autoren: Bloch, Isabelle Bonnot, Enzo Gori, Pietro et al.

Weitere Verfasser: Bloch, Isabelle Bonnot, Enzo Gori, Pietro et al.

Quelle: 2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-6

Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [SDV.IB] Life Sciences [q-bio]/Bioengineering, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic, Computer Science - Artificial Intelligence, segmentation, Mathematics - Logic, fuzzy semantics, fiber bundles, Logic in Computer Science (cs.LO), Artificial Intelligence (cs.AI), FOS: Mathematics, spatial reasoning, recognition, Logic (math.LO)

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2505.00173
https://telecom-paris.hal.science/hal-05052868v1

Any-k Algorithms for Enumerating Ranked Answers to Conjunctive Queries

Autoren: Nikolaos Tziavelis Wolfgang Gatterbauer Mirek Riedewald

Quelle: ACM Transactions on Database Systems. 51:1-47

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Databases, Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, Databases (cs.DB), Data Structures and Algorithms (cs.DS), 02 engineering and technology, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2205.05649

Sequent Calculi for Data-Aware Modal Logics

Autoren: Areces, Carlos Cassano, Valentin Dutto, Danae et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 430:8-25

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2510.01868
http://arxiv.org/abs/2505.17240

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Autoren: Yiqi Zhao Xinyi Yu Bardh Hoxha et al.

Quelle: ACM Transactions on Embedded Computing Systems. 24:1-23

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Formal Languages and Automata Theory, Multiagent Systems, Logic in Computer Science (cs.LO), Multiagent Systems (cs.MA)

Zugangs-URL: http://arxiv.org/abs/2507.15147

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators

Autoren: Beatrice Melani Ezio Bartocci Michele Chiari

Quelle: ACM Transactions on Embedded Computing Systems. 24:1-26

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2507.21598

Cumulative-Time Signal Temporal Logic

Autoren: Hongkai Chen Zeyu Zhang Shouvik Roy et al.

Quelle: ACM Transactions on Embedded Computing Systems. 24:1-23

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2504.10325

A Category Theoretic Approach to Approximate Game Theory

Autoren: Ghani, Neil

Quelle: Electronic Proceedings in Theoretical Computer Science. 429:190-202

Schlagwörter: Computer Science and Game Theory, FOS: Computer and information sciences, Logic in Computer Science, Symbolic Computation, Symbolic Computation (cs.SC), Multiagent Systems, Computer Science and Game Theory (cs.GT), Logic in Computer Science (cs.LO), Multiagent Systems (cs.MA)

Zugangs-URL: http://arxiv.org/abs/2509.20932

A Coalgebraic Model of Quantum Bisimulation

Autoren: Ceragioli, Lorenzo Di Lavore, Elena Lomurno, Giuseppe et al.

Quelle: Electronic Proceedings in Theoretical Computer Science. 429:249-269

Schlagwörter: FOS: Computer and information sciences, Emerging Technologies (cs.ET), Logic in Computer Science, Emerging Technologies, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2509.20933

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories

Autoren: Biggin, Aaron Lemay, Jean-Simon Pacaud

Quelle: Electronic Proceedings in Theoretical Computer Science. 429:115-129

Schlagwörter: Machine Learning, FOS: Computer and information sciences, F.4.1, G.1.4, Logic in Computer Science, Logic in Computer Science (cs.LO), Machine Learning (cs.LG)

Zugangs-URL: http://arxiv.org/abs/2509.20931

Representing Knowledge and Querying Data using Double-Functorial Semantics

Autoren: Lambert, Michael Patterson, Evan

Quelle: Electronic Proceedings in Theoretical Computer Science. 429:174-189

Schlagwörter: FOS: Computer and information sciences, Databases, Logic in Computer Science, 4. Education, FOS: Mathematics, Category Theory, Category Theory (math.CT), Databases (cs.DB), 16. Peace & justice, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2403.19884

Fibrational Perspectives on Determinization of Finite-State Automata

Autoren: Li, Thea

Quelle: Electronic Proceedings in Theoretical Computer Science. 429:203-216

Schlagwörter: FOS: Computer and information sciences, Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), FOS: Mathematics, Category Theory, Category Theory (math.CT), Formal Languages and Automata Theory, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2410.00675

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects

Autoren: Noam Zilberstein

Quelle: ACM Transactions on Programming Languages and Systems. 47:1-71

Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2401.04594

ANTHEM 2.0: Automated Reasoning for Answer Set Programming

Autoren: JORGE FANDINNO ZACHARY HANSEN YULIYA LIERLER et al.

Quelle: Theory and Practice of Logic Programming. :1-17

Schlagwörter: FOS: Computer and information sciences, I.2.3, Logic in Computer Science, Logic in Computer Science (cs.LO)

Zugangs-URL: http://arxiv.org/abs/2507.11704