• Suche: "Logic in Computer Science"

Treffer 101 - 120 von 95.779

101

Proofs for Free in the λΠ-Calculus Modulo Theory
Traversié, Thomas ; Mathématiques et Informatique pour la Complexité et les Systèmes (MICS) ; CentraleSupélec-Université Paris-Saclay ; et al.
LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. :49-63

Tallinn, Estonia [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
102

First-Order Automatic Literal Model Generation
Bromberger, Martin ; Krasnopol, Florent ; Möhle, Sibylle ; et al.
IJCAR 2024 - Automated Reasoning 12th International Joint Conference. :133-153

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

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?
Bozec, Tanguy ; Peltier, Nicolas ; Petitjean, Quentin ; et al.
IJCAR 2024 - 12th International Joint Conference on Automated Reasoning. :157-175

Nancy, France Decision procedures Symbolic heaps PCE fragment Bounded treewidth fragme... Inductive definitions …
Konferenz
Zu den Favoriten
104

Probabilistic neurosymbolic techniques for supervised informed classification
Techniques neurosymboliques probabilistes pour la classification supervisée informée par la logique
Ledaguenel, Arthur ; Hudelot, Celine ; Khouadjia, Mostepha ; et al.
Conférence Nationale en Intelligence Artificielle (CNIA-PFIA). :68-77

La Rochelle, France Neurosymbolic AI Machine learning deep learning Probabilistic reasoning IA neurosymbolique …
Konferenz
Zu den Favoriten
105

Teaching Divisibility and Binomials with Coq
Boldo, Sylvie ; Clément, François ; Hamelin, David ; et al.
13th International Workshop on Theorem proving components for Educational software - ThEdu 2024. :124-139

Nancy, France Worksheet Coq Arithmetic Divisibility Binomial coefficient …
Konferenz
Zu den Favoriten
106

On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
Waldmann, Uwe ; Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) ; Max-Planck-Institut für Informatik (MPII) ; et al.
12th International Joint Conference on Automated Reasoning (IJCAR 2024). :244-261

Nancy, France Superposition calculus First-order logic Automated theorem provin... [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
107

Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti
Traversié, Thomas ; Mathématiques et Informatique pour la Complexité et les Systèmes (MICS) ; CentraleSupélec-Université Paris-Saclay ; et al.
LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. :35-48

Tallinn, Estonia [INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Konferenz
Zu den Favoriten
108

A theory of (linear-time) timed monitors
Amara, Mouloud ; Bernardi, Giovanni ; Foughali, Mohammed Aristide ; et al.

Bergen (NO), Norway Timed logics Runtime Verification Monitorability Theory of computation →... [INFO.INFO-LO]Computer S... …
Konferenz
Zu den Favoriten
109

On the denotation of circular and non-wellfounded proofs in linear logic with fixed points
Ehrhard, Thomas ; Jafarrahmani, Farzad ; Saurin, Alexis ; et al.
Logic in Computer Science (LICS) 2025, The 40th ACM, Association for Computing Machinery / IEEE Symposium, Jun 2025, Singapoore, Singapore

Singapoore, Singapore [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [MATH.MATH-CT]Mathematic... Category Theory [math.CT... [MATH.MATH-LO]Mathematic... …
Konferenz
Zu den Favoriten
110

Syntactic Effectful Realizability in Higher-Order Logic
Cohen, Liron ; Grunfeld, Ariel ; Kirst, Dominik ; et al.
LICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2025, Singapour, Singapore

Singapour, Singapore Type system Syntactic translation Monads Effects Higher-order logic …
Konferenz
Zu den Favoriten
111

Group Order Logic
Dahan, Anatole ; Value from Data (VALDA) ; Département d'informatique - ENS-PSL (DI-ENS) ; et al.
LICS 2025 - Logic in Computer Science, Jun 2025, Singapore, Singapore. ⟨10.48550/arXiv.2505.15359⟩

Singapore, Singapore Descriptive Complexity Logic for P Finite Model Theory Computational Group Theo... Fixed-point logic …
Konferenz
Zu den Favoriten
112

A Constraint Opinion Model
Gadducci, Fabio ; Olarte, Carlos ; Valencia, Frank ; et al.
COORDINATION 2025 - 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2025, Lille, France. ⟨10.48550/ARXIV.2504.17605⟩

Lille, France Cognitive Bias Consensus Logic in Computer Scienc... FOS: Computer and inform... Social Networks …
Konferenz
Zu den Favoriten
113

Termination of Injective DPO Graph Rewriting Systems using Subgraph Counting
Qiu, Qi ; Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon ; et al.
18th International Conference on Graph Transformation (ICGT 2025), Jun 2025, Koblenz, Germany. ⟨10.1007/978-3-031-94706-3_1⟩

Koblenz, Germany Graph transformation Program verification Automated reasoning Rewrite system Termination …
Konferenz
Zu den Favoriten
114

Session Types for the Concurrent Composition of Interactive Differential Privacy
Types de sessions pour la composition concurrente de la confidentialité différentielle interactive
Sannier, Victor ; Baillot, Patrick ; Gaboardi, Marco ; et al.
CSF 2025 – 38th IEEE Computer Security Foundations Symposium, Jun 2025, Santa Cruz, CA, United States

Santa Cruz, CA, United S... Pi-calculus Session types Differential privacy Probabilistic languages Operational semantics …
Konferenz
Zu den Favoriten
115

Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case
Forraz, Hugo ; Petremand, Shems ; Soyez-Martin, Claire ; et al.
CSCS25 (2025 25th International Conference on Control Systems and Computer Science (CSCS25)), Ioan Dumitrache; Mihnea Moisescu; Florin Pop; Dana Copot; Dragos Popescu, May 2025, Buccarest, Romania

Buccarest, Romania [INFO]Computer Science [... [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-SY]Computer S... Systems and Control [cs....
Konferenz
Zu den Favoriten
116

Tableaux for Epistemic Gödel Logic
Bílková, Marta ; Ferguson, Thomas ; Kozhemiachenko, Daniil ; et al.
PRIMA 2025: Principles and Practice of Multi-Agent Systems. :232-250

Modena, Italy, Italy epistemic logic constraint tableaux Gödel logic involutive negation modal logic …
Zu den Favoriten
117

Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic
Maggesi, Marco ; Perini Brogi, Cosimo ; Dipartimento di Matematica e Informatica 'Ulisse Dini' [Firenze] (DIMAI UniFI) ; et al.
Leveraging Applications of Formal Methods. :297-315

Logical verification Pathfinding ants HOL Light Emergent behaviours Agent-based modelling Formal methods …
Zu den Favoriten
118

Analysing collective adaptive systems by proving theorems
Perini Brogi, Cosimo ; Maggesi, Marco ; Scuola IMT Alti Studi Lucca ; et al.
Leveraging Applications of Formal Methods. :223-237

Collective adaptive syst... Formal methods Emergent properties Logical verification Interactive theorem prov... [INFO.INFO-LO]Computer S... …
Zu den Favoriten
119

Bounded Sort Polymorphism with Elimination Constraints
Rosain, Johann ; Díaz, Tomás ; Maillard, Kenji ; et al.
Proceedings of the ACM on Programming Languages, 2026

[INFO.INFO-LO]Computer S... Logic in Computer Scienc...
Zeitschrift
Zu den Favoriten
120

Monoid Structures on Indexed Containers
De Pascalis, Michele ; Uustalu, Tarmo ; Veltrì, Niccolò
Electronic Proceedings in Theoretical Computer Science. 430:37-54

FOS: Computer and inform... Logic in Computer Scienc... Programming Languages Logic in Computer Scienc... Programming Languages (c...
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter