Image de couverture de livre

Simulating dynamic systems using Linear Time Calculus theories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bogaerts, Bart, Jansen, Joachim, Bruynooghe, Maurice, De Cat, Broes, Vennekens, Joost, Denecker, Marc
Format:	Preprint
Publié:	2014
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Approximation Fixpoint Theory with Refined Approximation Spaces
par: Vanbesien, Linde, et autres
Publié: (2025)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
par: Pollaci, Samuele, et autres
Publié: (2024)

Efficiently grounding FOL using bit vectors
par: Van Laer, Lucas, et autres
Publié: (2024)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
par: Marković, Đorđe, et autres
Publié: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
par: Vandesande, Dieter, et autres
Publié: (2025)

Enhancing Computer Vision with Knowledge: a Rummikub Case Study
par: Vandevelde, Simon, et autres
Publié: (2024)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
par: Bogaerts, Bart, et autres
Publié: (2022)

Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation
par: Van Caudenberg, Daimy, et autres
Publié: (2025)

Preservation theorems for Tarski's relation algebra
par: Bogaerts, Bart, et autres
Publié: (2023)

The Tensor-Plus Calculus
par: Chardonnet, Kostia, et autres
Publié: (2025)

Variable Elimination as Rewriting in a Linear Lambda Calculus
par: Ehrhard, Thomas, et autres
Publié: (2025)

A Classical Linear $λ$-Calculus based on Contraposition
par: Barenbaum, Pablo, et autres
Publié: (2026)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
par: Ernst, Gidon
Publié: (2026)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

Groups and Inverse Semigroups in Lambda Calculus
par: Bucciarelli, Antonio, et autres
Publié: (2026)

The Many-Worlds Calculus
par: Chardonnet, Kostia, et autres
Publié: (2022)

The Flower Calculus
par: Donato, Pablo
Publié: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames
par: Hausmann, Daniel, et autres
Publié: (2025)

Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps
par: Bisping, Benjamin, et autres
Publié: (2023)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

Quantitative Types for the Functional Machine Calculus
par: Heijltjes, Willem
Publié: (2025)

Six Birds: Foundations of Emergence Calculus
par: Tsiokos, Ioannis
Publié: (2026)

Proofs as Execution Trees for the π-Calculus
par: Acclavio, Matteo, et autres
Publié: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
par: Das, Anupam, et autres
Publié: (2024)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

An Algebraic Extension of Intuitionistic Linear Logic: The $L_!^S$-Calculus and Its Categorical Model
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

A Rewriting Theory for Quantum Lambda-Calculus
par: Faggian, Claudia, et autres
Publié: (2024)

Nested-sequent Calculus for Modal Logic MB
par: Kawano, Tomoaki
Publié: (2024)

A Sequent Calculus For Trace Formula Implication
par: Heidler, Niklas, et autres
Publié: (2025)

Substitution in the lambda Calculus and the role of the Curry School
par: Kamareddine, Fairouz
Publié: (2024)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

The Complexity of the Constructive Master Modality
par: Santiago-Fernández, Sofía, et autres
Publié: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
par: Cecilia, Gabriele, et autres
Publié: (2024)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

Specifying an Obligation Taxonomy in the Non-Markovian Situation Calculus
par: Kalala, Kalonji, et autres
Publié: (2025)