• *Search*: "Computer Science - Logic in Computer Science"

*sublabel_EDS*

*custom_text_above_search_result**custom_text_above_search_result_EDS*

*Showing* 1 - 20 *of* 53*number_thousands_separator*501

1

AGM Belief Revision, Semantically
Faiq Miftakhul Falakh ; Sebastian Rudolph ; Kai Sauerwald
ACM Transactions on Computational Logic. 26:1-54

FOS: Computer and inform... Computer Science - Logic... Artificial Intelligence... Computer Science - Artif... 0202 electrical engineer... 0102 computer and inform... …
*Academic Journal*
*Add to favorites*
2

Functorial Semantics for Relational Theories
Bonchi, Filippo ; Pavlovic, Dusko ; Sobocinski, Pawel
Polynesian Journal of Mathematics. 2:1-56

FOS: Computer and inform... Computer Science - Logic... Computer Science - Progr... 0202 electrical engineer... FOS: Mathematics Mathematics - Category T... …
*Academic Journal*
*Add to favorites*
3

Fully evaluated left-sequential logics
Alban Ponse ; Daan J. C. Staudt
Journal of Applied Non-Classical Logics. :1-53

FOS: Computer and inform... Computer Science - Logic... 03C90 F.3.2 F.3.1 16. Peace & justice …
*Academic Journal*
*Add to favorites*
4

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
John C. Kolesar ; Shan Ali ; Timos Antonopoulos ; et al.
Proceedings of the ACM on Programming Languages. 9:357-385

FOS: Computer and inform... Computer Science - Logic... Computer Science - Crypt... Cryptography and Securit... Logic in Computer Scienc...
*Academic Journal*
*Add to favorites*
5

Revisiting Assumptions Ordering in CAR-Based Model Checking
Yibo Dong ; Yu Chen ; Jianwen Li ; et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44:4032-4037

FOS: Computer and inform... Computer Science - Logic... Logic in Computer Scienc...
*Academic Journal*
*Add to favorites*
6

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
Bloch, Isabelle ; Bonnot, Enzo ; Gori, Pietro ; et al.
2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-6

[INFO.INFO-AI] Computer... [SDV.IB] Life Sciences [... FOS: Computer and inform... Computer Science - Logic... Logic Computer Science - Artif... …
*Academic Journal*
*Add to favorites*
7

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
Bartholomew, Michael ; Lee, Joohyung

Computer Science - Artif... Computer Science - Logic...
*Report*
*Add to favorites*
8

Encoding call-by-push-value in the pi-calculus
Bennetzen, Benjamin ; Kristensen, Nikolaj Rossander ; Steffensen, Peter Buus

Computer Science - Logic... Computer Science - Compu...
*Report*
*Add to favorites*
9

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
Bilotta, Antonella

Computer Science - Logic... Mathematics - Logic
*Report*
*Add to favorites*
11

From Partial to Monadic: Combinatory Algebra with Effects
Cohen, Liron ; Grunfeld, Ariel ; Kirst, Dominik ; et al.
10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, France

Computer Science - Logic...
*Report*
*Add to favorites*
12

Syntactic Effectful Realizability in Higher-Order Logic
Cohen, Liron ; Grunfeld, Ariel ; Kirst, Dominik ; et al.
Logic in Computer Science (LICS), Jun 2025, Singapour, Singapore

Computer Science - Logic...
*Report*
*Add to favorites*
13

Abstraction-Based Proof Production in Formal Verification of Neural Networks
Elboher, Yizhak Yisrael ; Isac, Omri ; Katz, Guy ; et al.

Computer Science - Logic... Computer Science - Artif...
*Report*
*Add to favorites*
14

Martin Davis: An Overview of his Work in Logic, Computer Science, and Philosophy
De Mol, Liesbeth ; Matiyasevich, Yuri V. ; Omodeo, Eugenio G. ; et al.

Computer Science - Logic...
*Report*
*Add to favorites*
15

Compositional Reasoning for Parametric Probabilistic Automata
Mertens, Hannah ; Quatmann, Tim ; Katoen, Joost-Pieter

Computer Science - Logic... Mathematics - Probabilit...
*Report*
*Add to favorites*
16

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
Bassan, Shahaf ; Elboher, Yizhak Yisrael ; Ladner, Tobias ; et al.

Computer Science - Machi... Computer Science - Artif... Computer Science - Logic...
*Report*
*Add to favorites*
17

LeanTutor: A Formally-Verified AI Tutor for Mathematical Proofs
Patel, Manooshree ; Bhattacharyya, Rayna ; Lu, Thomas ; et al.

Computer Science - Artif... Computer Science - Human... Computer Science - Logic...
*Report*
*Add to favorites*
18

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Huang, Ruanqianqian ; Monroe, Ayana ; de Halleux, Peli ; et al.

Computer Science - Human... Computer Science - Logic...
*Report*
*Add to favorites*
19

Approximate Axiomatization for Differentially-Defined Functions
Platzer, André ; Qian, Long

Computer Science - Logic... Mathematics - Logic 03B70, 03F03, 65L70, 65G... F.4.1 F.3.1 G.1.7 …
*Report*
*Add to favorites*
20

What makes an Ensemble (Un) Interpretable?
Bassan, Shahaf ; Amir, Guy ; Zehavi, Meirav ; et al.

Computer Science - Machi... Computer Science - Compu... Computer Science - Logic...
*Report*
*Add to favorites*
*Search Tools*: *Get RSS Feed* *Email this Search* *save_search*

*Filter*