• Suche: "Logic in Computer Science"

Treffer 21 - 40 von 95.809

21

Constructive characterisations of the must-preorder for asynchrony
Bernardi, Giovanni ; Castellani, Ilaria ; Laforgue, Paul ; et al.
ESOP. :88-116

Hamilton, Ontario, Canad... Concurrency theory Software Verification Observational refinement... Asynchrony ACM: D.: Software …
Konferenz
Zu den Favoriten
22

On the cut-elimination of the modal mu-calculus: Linear Logic to the rescue
Bauer, Esaïe ; Saurin, Alexis ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; et al.
FoSSaCS 2025 - 28th International Conference on Foundations of Software Science and Computation Structures. :133-154

Hamilton, Canada Linear logic circular proofs Cut elimination Proof-theory Mu-calculus …
Konferenz
Zu den Favoriten
23

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
Kaufmann, Daniela ; Berthomieu, Jérémy ; Vienna University of Technology = Technische Universität Wien (TU Wien) ; et al.
31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :355-374

Hamilton, Canada Algebraic Reasoning Gröbner Basis Hardware Verification [INFO.INFO-SC]Computer S... Symbolic Computation [cs... …
Konferenz
Zu den Favoriten
24

Typestates specification and verification in Frama-C
Patte, Sébastien ; Prevosto, Virgile ; Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)) ; et al.
2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering FormaliSE 2025. :146-156

Ottawa, Canada Coq Typestates Verification Program Analysis Formal Methods …
Konferenz
Zu den Favoriten
25

Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations
Durier, Adrien ; Hirschkoff, Daniel ; Sangiorgi, Davide ; et al.
Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani. :425-439

Västerås, Sweden Process calculi, coinduc... [INFO]Computer Science [... [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-PL]Computer S... …
Konferenz
Zu den Favoriten
26

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
Bienvenu, Meghyn ; Bourgaux, Camille ; Inoue, Katsumi ; et al.
KR 2025 - 22nd International Conference on Principles of Knowledge Representation and Reasoning, Nov 2025, Melbourne, Australia

Melbourne, Australia [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-DB]Computer S... …
Konferenz
Zu den Favoriten
27

Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS
Demri, Stéphane ; Doyen, Laurent ; Fervari, Raul ; et al.

Madrid, Spain [INFO]Computer Science [... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
28

Non-Termination of Logic Programs Using Patterns
Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; Université de La Réunion (UR)
Theory and Practice of Logic Programming. :1-17

Unfolding Logic Programming Non-Loops Non-Termination Non-Termination Non-Loop... Non-Termination, Non-Loo... …
Zeitschrift
Zu den Favoriten
29

A bargain for mergesorts — How to prove your mergesort correct and stable, almost for free
Cohen, Cyril ; Sakaguchi, Kazuhiko ; Compilation et Analyse, Logiciel et Matériel (CASH) ; et al.
Proceedings of the ACM on Programming Languages. :1-29

Stable sort Mergesort Parametricity Interactive theorem prov... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Zeitschrift
Zu den Favoriten
30

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives
Belly, Marius ; Fijalkow, Nathanaël ; Gimbert, Hugo ; et al.
39th AAAI Conference on Artificial Intelligence (AAAI-25). :26454-26462

Philadelphie, PA, United... [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-SY]Computer S... …
Konferenz
Zu den Favoriten
31

Graphical Analysis of Abstract Argumentation Frameworks via Boolean Networks
Trinh, Van-Giang ; Benhamou, Belaid ; Risch, Vincent ; et al.
ICAART 2025 - 17th International Conference on Agents and Artificial Intelligence. :745-756

Porto, Portugal Abstract Argumentation F... Extension-Based Semantic... Graphical Analysis Boolean Network [INFO.INFO-AI]Computer S... …
Konferenz
Zu den Favoriten
32

Detecting Misleading Information with LLMs and Explainable ASP
Nguyen, Quang-Anh ; Pham, Thu-Trang ; Vuong, Thi-Hai-Yen ; et al.
ICAART 2025 - 17th International Conference on Agents and Artificial Intelligence. :1327-1334

Porto, Portugal LLM ASP explainability misleading information d... [INFO.INFO-AI]Computer S... …
Konferenz
Zu den Favoriten
33

Dependent Coeffects for Local Sensitivity Analysis
Sannier, Victor ; Baillot, Patrick ; Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL) ; et al.
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2026), Jan 2026, Rennes, France

Rennes, France Dependent types Linear logic Differential privacy Comonads [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
34

Mechanized Dominator Tree Certification
Léchenet, Jean-Christophe ; Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS) ; Centre Inria d'Université Côte d'Azur ; et al.
CPP 2026 - 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2026, Rennes, France. ⟨10.1145/3779031.3779107⟩

Rennes, France Rocq Verified compilation Dominance [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
35

Termination Resilience Static Analysis
Moussaoui Remil, Naïm ; Urban, Caterina ; Analyse Statique par Interprétation Abstraite (ANTIQUE) ; et al.
VMCAI 2026 - 27th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2026, Rennes, France

Rennes, France [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
36

Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust
Golfouse, Arnaud ; Guéneau, Armaël ; Jourdan, Jacques-Henri ; et al.

Rennes, France Ghost code Rust Deductive verification CCS Concepts: • Theory o... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
37

Categorical semantics of compositional reinforcement learning
Bakirtzis, Georgios ; Savvas, Michail ; Topcu, Ufuk ; et al.
Journal of Machine Learning Research. 26(130):1-37

Universal properties Markov decision processe... Category theory [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-LO]Computer S... …
Zeitschrift
Zu den Favoriten
38

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
Cohen, Cyril ; Crance, Enzo ; Mahboubi, Assia ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). :1-40

Proof transfer Proof assistants Univalence Representation independe... Parametricity [INFO.INFO-LO]Computer S... …
Zeitschrift
Zu den Favoriten
39

Observational Equality Meets CIC
Pujet, Loïc ; Leray, Yann ; Tabareau, Nicolas ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 47(2):1-35

Type theory Proof assistants Observational equality Inductive types Rewriting rules [INFO.INFO-LO]Computer S... …
Zeitschrift
Zu den Favoriten
40

Formalizing Splitting in Isabelle/HOL
Bergeron, Ghilain ; Krasnopol, Florent ; Tourret, Sophie ; et al.

Reykjavik, Iceland Computing methodologies splitting saturation-based calculi Isabelle HOL …
Konferenz
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter