Computer Science - Logic in Computer Science

Logic in Computer ScienceExploring the Role of Containers in Programming

Containers shape data structures for better management and organization in programming.

Stefania Damato, Thorsten Altenkirch, Axel Ljungström

2025-06-11T22:50:17+00:00 ― 7 min read

Logic in Computer ScienceEfficient Counting of Minimal Models in Boolean Formulas

A new method streamlines the counting of minimal models in Boolean logic.

Mohimenul Kabir

2025-06-11T04:52:54+00:00 ― 5 min read

Logic in Computer ScienceIntroducing Resource Lambda Calculus

A fresh approach to lambda calculus, integrating resource usage and approximation.

Davide Barbarossa

2025-06-10T21:38:24+00:00 ― 5 min read

Logic in Computer ScienceExamining the Stability Property in Call-by-Value Calculus

A look at the Stability Property and its significance in call-by-value calculus.

Davide Barbarossa

2025-06-10T21:06:48+00:00 ― 5 min read

Logic in Computer ScienceThe Role of Randomness in Computing

A look at how randomness shapes modern computational techniques.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

2025-06-09T22:28:00+00:00 ― 5 min read

Category TheoryUnderstanding Functions and Their Changes

A look into functions, derivatives, and their interconnectedness in everyday scenarios.

Matteo Capucci, Geoffrey S. H. Cruttwell, Neil Ghani

2025-06-09T16:13:12+00:00 ― 5 min read

Algebraic TopologyA Deep Dive into Covering Spaces

Explore the significance of covering spaces in algebraic topology and their applications.

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

2025-06-08T19:41:01+00:00 ― 6 min read

Software EngineeringAdvancements in Proof Automation Using LLMs

Exploring new methods to improve proof verification in software engineering.

Minghai Lu, Benjamin Delaware, Tianyi Zhang

2025-06-08T12:45:36+00:00 ― 7 min read

Logic in Computer ScienceConcurrency and Probability in Modern Programming

A framework for analyzing concurrent programs with probabilistic outcomes.

Renato Neves

2025-06-06T13:53:12+00:00 ― 7 min read

Category TheoryPropositional Equality in Type Theory: A Deeper Look

Examining propositional equality's role in type theory and its implications.

Andrea Laretto, Fosco Loregian, Niccolò Veltri

2025-06-06T04:19:36+00:00 ― 4 min read

Artificial IntelligenceImproving AI Reasoning with Proof of Thought

A new framework aims to enhance reliability and clarity in AI reasoning.

Debargha Ganguly, Srinivasan Iyengar, Vipin Chaudhary

2025-06-06T02:10:06+00:00 ― 7 min read

Logic in Computer ScienceThe Intersection of Logic and Geometry in Proofs

Examining the relationship between mathematical proofs and geometric spaces.

Davide Barbarossa

2025-06-05T18:16:37+00:00 ― 5 min read

Programming LanguagesA New Method for Proving Program Termination

Improving tools to check if loops in programs will finish running.

Shaowei Zhu, Zachary Kincaid

2025-06-05T04:26:36+00:00 ― 5 min read

Logic in Computer ScienceAnalyzing Infinite-State Markov Chains

A framework for better understanding complex Markov chains using abstraction and sampling techniques.

Benoît Barbot, Patricia Bouyer, Serge Haddad

2025-06-04T04:36:42+00:00 ― 6 min read

Logic in Computer ScienceAdvancing Security Through Team Semantics in Software Development

Team semantics enhances verification of complex properties in software systems.

Andreas Krebs, Arne Meier, Jonni Virtema

2025-06-04T04:28:48+00:00 ― 8 min read

Logic in Computer ScienceGuarded Recursion in Programming Languages

Exploring how guarded recursion enhances infinite data structures in programming.

Louis Lemonnier

2025-06-03T18:12:47+00:00 ― 9 min read

Group TheoryConnecting Snakes and Groups: A Research Overview

Explore the relationship between groups and snake tiling problems in mathematics.

Laurent Bartholdi, Ville Salo

2025-06-03T17:46:34+00:00 ― 5 min read

Logic in Computer ScienceConnecting Logic and Programming through Call-by-Value Evaluation

This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.

Beniamino Accattoli

2025-06-03T11:21:48+00:00 ― 10 min read

Artificial IntelligenceModeling Argumentation Frameworks: A New Approach

A fresh perspective on how the order of arguments shapes discussions.

Yann Munro, Camilo Sarmiento, Isabelle Bloch

2025-06-03T09:47:00+00:00 ― 7 min read

Programming LanguagesVerifying Exception Handling in Java Bytecode

A method for analyzing exceptional behavior in Java programs using bytecode.

Marco Paganoni, Carlo A. Furia

2025-06-02T21:40:12+00:00 ― 6 min read

Logic in Computer ScienceBranching Bisimilarity and Time-Outs in Reactive Systems

Explore how time-outs impact system interactions in branching bisimilarity.

Gaspard Reghem, Rob van Glabbeek

2025-06-02T18:38:30+00:00 ― 5 min read

Logic in Computer ScienceRethinking Cybersecurity: A New Perspective

This paper discusses a new approach to cybersecurity using Probabilistic Obstruction Temporal Logic.

Jean Leneutre, Vadim Malvone, James Ortiz

2025-06-02T14:09:54+00:00 ― 6 min read

Logic in Computer ScienceBuilding Better Reactive Systems

Learn how to create efficient reactive systems that adapt to their environments.

Linda Feeken, Martin Fränzle

2025-06-02T10:20:48+00:00 ― 6 min read

Logic in Computer ScienceThe Importance of Program Termination

Learn why program termination is crucial for computer programming.

James Li, Noam Zilberstein, Alexandra Silva

2025-06-02T05:44:18+00:00 ― 10 min read

Logic in Computer ScienceUnderstanding Logic and Time in Technology

A look at how temporal logic shapes technology in our daily lives.

Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag

2025-06-02T02:42:36+00:00 ― 5 min read

Programming LanguagesA New Approach to Polymorphic Metaprogramming

Introducing a framework for safe and efficient code generation.

Junyoung Jang, Brigitte Pientka

2025-06-01T21:50:18+00:00 ― 6 min read

Logic in Computer ScienceUnderstanding Parametricity in Programming Languages

Learn how parametricity impacts programming and the challenges with GADTs.

Pierre Cagne, Patricia Johann

2025-06-01T18:01:12+00:00 ― 5 min read

Logic in Computer ScienceReliable Methods for Statistical Model Checking

Learn how to use sound statistical methods for better decision-making in complex systems.

Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer

2025-06-01T17:21:42+00:00 ― 6 min read

Artificial IntelligenceEnhancing Fraud Detection with Explainable AI

Combining fuzzy logic and symbolic regression for clearer fraud detection.

Wout Gerdes, Erman Acar

2025-06-01T16:02:42+00:00 ― 7 min read

Logic in Computer ScienceImproving Tactic Suggestions in Interactive Theorem Provers

Researchers apply ILP to enhance tactic predictions in interactive theorem proving.

Liao Zhang, David M. Cerna, Cezary Kaliszyk

2025-06-01T07:21:18+00:00 ― 8 min read

Software EngineeringCan Large Language Models Help in Software Verification?

Investigating the role of LLMs in generating software specifications for verification.

Marilyn Rego, Wen Fan, Xin Hu

2025-05-31T13:58:30+00:00 ― 6 min read

Logic in Computer ScienceThe Game of States: An Insight into Apartness

Exploring how states relate through games in computer science.

Jurriaan Rot, Sebastian Junges, Harsh Beohar

2025-05-30T06:54:00+00:00 ― 5 min read

Logic in Computer ScienceAn Introduction to Data Classification

Learn how machines classify data using simple examples and counting logic.

Steffen van Bergerem, Nicole Schweikardt

2025-05-29T12:11:42+00:00 ― 6 min read

Logic in Computer ScienceIntroducing Functional Machine Calculus in Programming

A new approach to coding that boosts flexibility and error management.

Willem Heijltjes

2025-05-28T04:26:24+00:00 ― 6 min read

Programming LanguagesUnderstanding Predicate Transformers in Programming

A guide to weakest preconditions and strongest postconditions in coding.

Lena Verscht, Benjamin Lucien Kaminski

2025-05-26T11:59:06+00:00 ― 5 min read

Logic in Computer ScienceAutomating Term Rewriting Strategies with Machine Learning

A look into using machine learning for term rewriting system optimization.

Liao Zhang, Fabian Mitterwallner, Jan Jakubuv

2025-05-26T11:46:03+00:00 ― 6 min read

Data Structures and AlgorithmsThe Role of Redundancy in Problem Solving

Learn how redundancy can simplify complex problems.

Joshua Brakensiek, Venkatesan Guruswami

2025-05-26T00:00:51+00:00 ― 7 min read

DatabasesUnderstanding Database Transactions and Their Importance

Learn how database transactions ensure data consistency and efficiency.

Shabnam Ghasemirad, Christoph Sprenger, Si Liu

2025-05-25T16:37:39+00:00 ― 7 min read

Logic in Computer ScienceTyped Non-Determinism: A Clear Approach

Understanding typed non-determinism and its impact on resource management in computing.

Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus

2025-05-24T21:55:21+00:00 ― 6 min read

Logic in Computer ScienceVerification in Quantum Computing: A Necessary Blueprint

This article discusses the importance of verifying quantum programs before deployment.

Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh

2025-05-24T16:03:00+00:00 ― 7 min read