• Suche: "Computer Science - Logic in Computer Science"

Treffer 1 - 20 von 55.087

1

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...
Fachzeitschrift
Zu den Favoriten
2

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... …
Fachzeitschrift
Zu den Favoriten
3

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

Computer Science - Artif... Computer Science - Logic...
Report
Zu den Favoriten
4

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

Computer Science - Logic... Computer Science - Compu...
Report
Zu den Favoriten
5

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

Computer Science - Logic... Mathematics - Logic
Report
Zu den Favoriten
6

On the cut-elimination of the modal $\mu$-calculus: Linear Logic to the rescue
Bauer, Esaïe ; Saurin, Alexis

Computer Science - Logic...
Report
Zu den Favoriten
7

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
Zu den Favoriten
8

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
Zu den Favoriten
9

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
Zu den Favoriten
10

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
Zu den Favoriten
11

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

Computer Science - Logic... Mathematics - Probabilit...
Report
Zu den Favoriten
12

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
Zu den Favoriten
13

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
Zu den Favoriten
14

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
Zu den Favoriten
15

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
Zu den Favoriten
16

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

Computer Science - Machi... Computer Science - Compu... Computer Science - Logic...
Report
Zu den Favoriten
17

Compiling Metric Temporal Answer Set Programming
Becker, Arvid ; Cabalar, Pedro ; Diéguez, Martin ; et al.

Computer Science - Artif... Computer Science - Logic... I.2.4 I.2.8
Report
Zu den Favoriten
18

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
Jensen, Nicolaj Ø. ; Larsen, Kim G. ; Lime, Didier ; et al.

Computer Science - Logic...
Report
Zu den Favoriten
19

Premise Selection for a Lean Hammer
Zhu, Thomas ; Clune, Joshua ; Avigad, Jeremy ; et al.

Computer Science - Machi... Computer Science - Artif... Computer Science - Logic...
Report
Zu den Favoriten
20

CNFs and DNFs with Exactly $k$ Solutions
Chandran, L. Sunil ; Gajjala, Rishikesh ; Meel, Kuldeep S.

Computer Science - Discr... Computer Science - Data... Computer Science - Logic... Mathematics - Combinator... Mathematics - Logic
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter