Suchergebnisse - "Logic in Computer Science"

Four imprints of Belnap's useful four-valued logic in computer science

Autoren: Jakl, Tomáš

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/2503.20679

Logic in Computer Science

Autoren: Hantao Zhang Jian Zhang

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science

Peer Instruction in Computing Higher Education: A Case Study of a Logic in Computer Science Course in Brazilian Context

Autoren: Esdras L. Bispo Jr. Rosemara P. Lopes Simone C. Santos

Quelle: Revista Brasileira de Informática na Educação. 29:1403-1432

Schlagwörter: 4. Education, 05 social sciences, 0503 education

Zugangs-URL: https://sol.sbc.org.br/journals/index.php/rbie/article/download/2127/1886

Development of Temporal Logic in Computer Science Based on Data Mining Technology

Autoren: Shanxia Wang

Quelle: 2021 International Symposium on Advances in Informatics, Electronics and Education (ISAIEE). :200-203

38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

On the Unusual Effectiveness of Logic in Computer Science

Autoren: Halpern, Joseph Y. Harper, Robert Immerman, Neil et al.

Quelle: The Bulletin of Symbolic Logic, 2001 Jun 01. 7(2), 213-236.

Zugangs-URL: https://www.jstor.org/stable/2687775

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

The Impact of the Lambda Calculus in Logic and Computer Science

Autoren: Barendregt, Henk

Quelle: The Bulletin of Symbolic Logic, 1997 Jun 01. 3(2), 181-215.

Zugangs-URL: https://www.jstor.org/stable/421013

Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contnbutions to Logic, Vol. 17, 2018 Joanna Golińska-Pilarek Michal Zawidzki

Autoren: Rewitzky, I.

Quelle: Studia Logica: An International Journal for Symbolic Logic, 2021 Apr 01. 109(2), 443-445.

Relation: Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contnbutions to Logic, Vol. 17, 2018 Joanna Golińska-Pilarek Michal Zawidzki

Zugangs-URL: https://www.jstor.org/stable/45379288

Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition

Autoren: Jean H. Gallier

Resource Type: eBook.

Schlagworte: Automatic theorem proving, Logic, Symbolic and mathematical

Categories: MATHEMATICS / Logic

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

Report on Logic in Computer Science (LICS'23)

Autoren: Marco Gaboardi Igor Walukiewicz

Quelle: ACM SIGLOG News. 10:44-45

Schlagwörter: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science