• Suche: Computer Science Logic

Treffer 1 - 20 von 1.348.774

1

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
Merkliste
2

Four imprints of Belnap's useful four-valued logic in computer science
Jakl, Tomáš

Computer Science - Logic...
Report
Merkliste
3

Proceedings Twelfth Workshop on Fixed Points in Computer Science
Saurin, Alexis
EPTCS 435, 2025

Logic in Computer Scienc... Programming Languages
Report
Merkliste
4

The Importance of Teaching Logic to Computer Scientists and Electrical Engineers
Paul Mayer ; Rich Baraniuk
12

Teaching Methods Logical Thinking Computer Science Educati... Engineering Education Mathematical Logic Undergraduate Students …
Fachzeitschrift
Merkliste
5

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
Merkliste
6

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
Merkliste
7

Comparing Neural Network Encodings for Logic-based Explainability
Carvalho, Levi Cordeiro ; Oliveira, Saulo A. F. ; Rocha, Thiago Alves
Intelligent Systems. BRACIS 2024. Lecture Notes in Computer Science, vol 15412

Computer Science - Logic... Computer Science - Artif... Computer Science - Machi...
Report
Merkliste
8

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
Meng, Qiaolan ; Pu, Juhua ; Niu, Hongting ; et al.

Computer Science - Logic... Computer Science - Artif...
Report
Merkliste
9

Relational Hoare Logic for Realistically Modelled Machine Code
Mazzucato, Denis ; Mohamed, Abdalrhman ; Lee, Juneyoung ; et al.

Computer Science - Logic...
Report
Merkliste
10

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

Computer Science - Logic...
Report
Merkliste
11

Fuzzy Lattice-based Description Logic
Ding, Yiwen ; Manoorkar, Krishna
EPTCS 421, 2025, pp. 44-63

Computer Science - Logic... Computer Science - Artif...
Report
Merkliste
12

The flattening operator in team-based logics
Durand, Arnaud ; Kontinen, Juha ; Mérian, Werner ; et al.

Computer Science - Logic...
Report
Merkliste
13

Proof Compression via Subatomic Logic and Guarded Substitutions
Barrett, Victoria ; Guglielmi, Alessio ; Ralph, Benjamin ; et al.

Computer Science - Logic... 03F03 F.4.1
Report
Merkliste
14

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
Hellwig, Jonathan ; Platzer, André

Computer Science - Logic... F.3.1 F.4.1
Report
Merkliste
15

From a Constraint Logic Programming Language to a Formal Verification Tool
Cristiá, Maximiliano ; Capozucca, Alfredo ; Rossi, Gianfranco

Computer Science - Logic...
Report
Merkliste
16

A Game for Counting Logic Formula Size and an Application to Linear Orders
Fournier, Gregoire ; Turán, György

Computer Science - Logic...
Report
Merkliste
17

A New Tractable Description Logic under Categorical Semantics
Duc, Chan Le ; Brieulle, Ludovic

Computer Science - Logic... Computer Science - Artif...
Report
Merkliste
18

On the Complexity and Properties of Preferential Propositional Dependence Logic
Sauerwald, Kai ; Meier, Arne ; Kontinen, Juha

Computer Science - Artif... Computer Science - Logic... 03B70, 03B62 I.2.3 F.4.1
Report
Merkliste
19

First-Order Coalition Logic
Catta, Davide ; Galimullin, Rustam ; Murano, Aniello

Computer Science - Logic... 03B70, 03B45 F.4.1 I.2.4
Report
Merkliste
20

Operator Spaces, Linear Logic and the Heisenberg-Schr\'odinger Duality of Quantum Theory
Lindenhovius, Bert ; Zamdzhiev, Vladimir

Computer Science - Logic... Quantum Physics
Report
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter