• Suche: "Logic in Computer Science"

Treffer 241 - 260 von 95.809

241

Interpolation in Non-Classical Logics
Fussner, Wesley

Logic Logic in Computer Scienc... 03C40 (Primary), 03B22 (...
Report
Zu den Favoriten
242

Hypernetwork Theory: The Structural Kernel
Charlesworth, Richard D.

Logic in Computer Scienc... Multiagent Systems 68N30, 18B99 D.2.2; D.2.10; F.2.2; I....
Report
Zu den Favoriten
243

Counting and Sampling Traces in Regular Languages
de Colnet, Alexis ; Meel, Kuldeep S. ; Mathur, Umang

Formal Languages and Aut... Computational Complexity Logic in Computer Scienc... Programming Languages
Report
Zu den Favoriten
244

A Hierarchy of Supermartingales for $ω$-Regular Verification
Kura, Satoshi ; Unno, Hiroshi

Logic in Computer Scienc...
Report
Zu den Favoriten
245

Computational Paths Form a Weak ω-Groupoid
Ramos, Arthur F. ; de Veras, Tiago M. L. ; de Queiroz, Ruy J. G. B. ; et al.

Logic in Computer Scienc...
Report
Zu den Favoriten
246

Reasoning about Quality in Hyperproperties
Graepler, Samuel ; Monmege, Benjamin ; Talbot, Jean-Marc

Logic in Computer Scienc...
Report
Zu den Favoriten
247

Compositional Inference for Bayesian Networks and Causality
Jacobs, Bart ; Széles, Márk ; Stein, Dario

Logic in Computer Scienc... Category Theory
Report
Zu den Favoriten
248

High schoolers excel at Oxford quantum course using pictorial mathematics
Coecke, Bob ; Kissinger, Aleks ; Gogioso, Stefano ; et al.

Physics Education Logic in Computer Scienc... Category Theory Quantum Physics
Report
Zu den Favoriten
249

RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Matsushita, Yusuke ; Hirata, Kengo ; Wakizaka, Ryo ; et al.

Programming Languages Logic in Computer Scienc... Quantum Physics
Report
Zu den Favoriten
250

Quantum Polymorphisms and Commutativity Gadgets
Ciardo, Lorenzo ; Joubert, Gideo ; Mottet, Antoine

Quantum Physics Computational Complexity Logic in Computer Scienc... Combinatorics 81P45, 05C15
Report
Zu den Favoriten
251

North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
Barnoff, Aaron ; Bright, Curtis

Combinatorics Discrete Mathematics Logic in Computer Scienc...
Report
Zu den Favoriten
253

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
Keyi, Hu

Artificial Intelligence Logic in Computer Scienc...
Report
Zu den Favoriten
254

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
Kurpiewski, Damian ; Michalczyk, Jędrzej ; Jamroga, Wojciech ; et al.

Logic in Computer Scienc... Multiagent Systems
Report
Zu den Favoriten
255

A programming language combining quantum and classical control
Dave, Kinnari ; Lemonnier, Louis ; Péchoux, Romain ; et al.

Logic in Computer Scienc... Programming Languages Quantum Physics
Report
Zu den Favoriten
256

Revisiting Interpolation in Relevant Logics
Fussner, Wesley ; Tedder, Andrew

Logic Logic in Computer Scienc... 03A05 (Primary), 03B47,...
Report
Zu den Favoriten
257

Space Explanations of Neural Network Classification
Labbaf, Faezeh ; Kolárik, Tomáš ; Blicha, Martin ; et al.
Computer Aided Verification, Lecture Notes in Computer Science, vol 15933, pp. 287-303, 2025

Machine Learning Logic in Computer Scienc...
Report
Zu den Favoriten
258

Muddy Waters
van Ditmarsch, Hans
EPTCS 437, 2025, pp. 433-447

Logic in Computer Scienc...
Report
Zu den Favoriten
259

Logic of (Common or Distributed) Knowledge
Shi, Chenwei
EPTCS 437, 2025, pp. 286-300

Logic in Computer Scienc...
Report
Zu den Favoriten
260

Are Large Random Graphs Always Safe to Hide?
Chakraborty, Sourav ; Ghosh, Sujata ; Samanta, Smiha
EPTCS 437, 2025, pp. 321-333

Logic in Computer Scienc... Computer Science and Gam...
Report
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter