LMCS（共 1012 篇）
Logical Methods in Computer Science，开放获取
202673 篇 · vol.Volume 22, Issue 1
Enumeration and updates for conjunctive linear algebra queries through expressibility
LMCS vol.Volume 22, Issue 12026
Rewriting Modulo Traced Comonoid Structure
LMCS vol.Volume 22, Issue 12026
Hardness of monadic second-order formulae over succinct graphs
LMCS vol.Volume 22, Issue 12026
Simple Classes of Automatic Structures
LMCS vol.Volume 22, Issue 12026
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
LMCS vol.Volume 22, Issue 12026
Unifying Graded Linear Logic and Differential Operators
LMCS vol.Volume 22, Issue 12026
Localized RETE for Incremental Graph Queries with Nested Graph Conditions
LMCS vol.Volume 22, Issue 12026
Online Monitoring of Metric Temporal Logic using Sequential Networks
LMCS vol.Volume 22, Issue 12026
Asynchronous Composition of LTL Properties over Infinite and Finite Traces
LMCS vol.Volume 22, Issue 12026
Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
LMCS vol.Volume 22, Issue 12026
Module checking of pushdown multi-agent systems
LMCS vol.Volume 22, Issue 12026
Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
LMCS vol.Volume 22, Issue 12026
Universal quantification makes automatic structures hard to decide
LMCS vol.Volume 22, Issue 12026
Using weakest application conditions to rank graph transformations for graph repair
LMCS vol.Volume 22, Issue 12026
Causal Graph Dynamics and Kan Extensions
LMCS vol.Volume 22, Issue 12026
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
LMCS vol.Volume 22, Issue 12026
An Objective Improvement Approach to Solving Discounted Payoff Games
LMCS vol.Volume 22, Issue 12026
The Expansion Problem for Infinite Trees
LMCS vol.Volume 22, Issue 12026
FBFL: A Field-Based Coordination Approach for Data Heterogeneity in Federated Learning
LMCS vol.Volume 22, Issue 12026
Additive Enrichment from Coderelictions
LMCS vol.Volume 22, Issue 12026
On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
LMCS vol.Volume 22, Issue 12026
Taint Analysis for Graph APIs Focusing on Broken Access Control
LMCS vol.Volume 22, Issue 12026
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
LMCS vol.Volume 22, Issue 12026
Homotopy type theory as a language for diagrams of $\infty$-logoses
LMCS vol.Volume 22, Issue 12026
Direct Access for Conjunctive Queries with Negations
LMCS vol.Volume 22, Issue 12026
The Complexity of Second-order HyperLTL
LMCS vol.Volume 22, Issue 12026
Normalization for multimodal type theory
LMCS vol.Volume 22, Issue 12026
Computable Approximations of Semicomputable Graphs
LMCS vol.Volume 22, Issue 12026
Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
LMCS vol.Volume 22, Issue 12026
Prime Factorization in Models of PV$_1$
LMCS vol.Volume 22, Issue 22026
Machine Space I: Weak exponentials and quantification over compact spaces
LMCS vol.Volume 22, Issue 22026
One is all you need: Second-order Unification without First-order Variables
LMCS vol.Volume 22, Issue 22026
Quantitative Verification with Neural Networks
LMCS vol.Volume 22, Issue 22026
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
LMCS vol.Volume 22, Issue 22026
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
LMCS vol.Volume 22, Issue 22026
A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues
LMCS vol.Volume 22, Issue 22026
Direct Access for Answers to Conjunctive Queries with Aggregation
LMCS vol.Volume 22, Issue 22026
Tighter Bounds for Query Answering with Guarded TGDs
LMCS vol.Volume 22, Issue 22026
Positionality in $Σ_0^2$ and a completeness result
LMCS vol.Volume 22, Issue 22026
Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata
LMCS vol.Volume 22, Issue 22026
Pebble Games and Algebraic Proof Systems
LMCS vol.Volume 22, Issue 22026
Empirical Measures and Strong Laws of Large Numbers in Categorical Probability
LMCS vol.Volume 22, Issue 22026
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
LMCS vol.Volume 22, Issue 22026
On $NP \cap coNP$ proof complexity generators
LMCS vol.Volume 22, Issue 22026
Deterministic Suffix-reading Automata
LMCS vol.Volume 22, Issue 22026
Prover-Adversary games for systems over (non-deterministic) branching programs
LMCS vol.Volume 22, Issue 22026
Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems
LMCS vol.Volume 22, Issue 22026
Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
LMCS vol.Volume 22, Issue 22026
A Resolution-Based Interactive Proof System for UNSAT
LMCS vol.Volume 22, Issue 22026
Epistemic Skills: Reasoning about Knowledge and Oblivion
LMCS vol.Volume 22, Issue 22026
Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic
LMCS vol.Volume 22, Issue 22026
Extended Resolution Clause Learning via Dual Implication Points
LMCS vol.Volume 22, Issue 22026
An automata-based approach for synchronizable mailbox communication
LMCS vol.Volume 22, Issue 22026
Univalent Enriched Categories and the Enriched Rezk Completion
LMCS vol.Volume 22, Issue 22026
First Order Logic on Pathwidth Revisited Again
LMCS vol.Volume 22, Issue 22026
Work-Efficient Query Evaluation in Constant Time with PRAMs
LMCS vol.Volume 22, Issue 22026
Automating Boundary Filling in Cubical Type Theories
LMCS vol.Volume 22, Issue 22026
Hofmann-Streicher lifting of fibred categories
LMCS vol.Volume 22, Issue 22026
The calculus of neo-Peircean relations
LMCS vol.Volume 22, Issue 22026
Computation by infinite descent made explicit
LMCS vol.Volume 22, Issue 22026
A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
LMCS vol.Volume 22, Issue 22026
Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
LMCS vol.Volume 22, Issue 22026
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
LMCS vol.Volume 22, Issue 22026
The Bright Side of Timed Opacity
LMCS vol.Volume 22, Issue 22026
A taxonomy of categories for relations
LMCS vol.Volume 22, Issue 22026
Constraint satisfaction problems, compactness and non-measurable sets
LMCS vol.Volume 22, Issue 32026
Policies for Fair Exchanges of Resources
LMCS vol.Volume 22, Issue 32026
Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
LMCS vol.Volume 22, Issue 32026
Mirroring Call-by-Need, or Values Acting Silly
LMCS vol.Volume 22, Issue 32026
The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
LMCS vol.Volume 22, Issue 32026
The Complexity of Defining and Separating Fixpoint Formulae in Modal Logic
LMCS vol.Volume 22, Issue 32026
Locality in Residuated-Lattice Structures
LMCS vol.Volume 22, Issue 32026
A Dichotomy Theorem for Ordinal Ranks in MSO
LMCS vol.Volume 22, Issue 32026
2025122 篇 · vol.Volume 21, Issue 1
Integration in Cones
LMCS vol.Volume 21, Issue 12025
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL$^*$ is Even Harder
LMCS vol.Volume 21, Issue 12025
Checkpoint-based rollback recovery in session programming
LMCS vol.Volume 21, Issue 12025
Regular Model Checking Upside-Down: An Invariant-Based Approach
LMCS vol.Volume 21, Issue 12025
Complete and tractable machine-independent characterizations of second-order polytime
LMCS vol.Volume 21, Issue 12025
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
LMCS vol.Volume 21, Issue 12025
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights
LMCS vol.Volume 21, Issue 12025
Quantitative Equality in Substructural Logic via Lipschitz Doctrines
LMCS vol.Volume 21, Issue 12025
Diversity of Answers to Conjunctive Queries
LMCS vol.Volume 21, Issue 12025
Multi-Structural Games and Number of Quantifiers
LMCS vol.Volume 21, Issue 12025
Random Deterministic Automata With One Added Transition
LMCS vol.Volume 21, Issue 12025
Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure
LMCS vol.Volume 21, Issue 12025
Bisimilarity in fresh-register automata
LMCS vol.Volume 21, Issue 12025
Algebraic Presentations of Type Dependency
LMCS vol.Volume 21, Issue 12025
Categorifying computable reducibilities
LMCS vol.Volume 21, Issue 12025
The Formal Theory of Monads, Univalently
LMCS vol.Volume 21, Issue 12025
Constant-delay enumeration for SLP-compressed documents
LMCS vol.Volume 21, Issue 12025
A Simple Algorithm for Consistent Query Answering under Primary Keys
LMCS vol.Volume 21, Issue 12025
Playing Stochastically in Weighted Timed Games to Emulate Memory
LMCS vol.Volume 21, Issue 12025
Congruence Closure Modulo Groups
LMCS vol.Volume 21, Issue 12025
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
LMCS vol.Volume 21, Issue 12025
On The Axioms Of $\mathcal{M},\mathcal{N}$-Adhesive Categories
LMCS vol.Volume 21, Issue 12025
Proof complexity of positive branching programs
LMCS vol.Volume 21, Issue 12025
On the Existence of Reactive Strategies Resilient to Delay
LMCS vol.Volume 21, Issue 12025
Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic
LMCS vol.Volume 21, Issue 12025
With a little help from your friends: semi-cooperative games via Joker moves
LMCS vol.Volume 21, Issue 12025
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
LMCS vol.Volume 21, Issue 12025
Characterising memory in infinite games
LMCS vol.Volume 21, Issue 12025
Unbalanced Triangle Detection and Enumeration Hardness for Unions of Conjunctive Queries
LMCS vol.Volume 21, Issue 12025
About the Expressive Power and Complexity of Order-Invariance with Two Variables
LMCS vol.Volume 21, Issue 12025
Strong negation in the theory of computable functionals TCF
LMCS vol.Volume 21, Issue 22025
Safety and Liveness of Quantitative Properties and Automata
LMCS vol.Volume 21, Issue 22025
A Game of Pawns
LMCS vol.Volume 21, Issue 22025
Moving a Derivation Along a Derivation Preserves the Spine in Adhesive Categories
LMCS vol.Volume 21, Issue 22025
Crash-Stop Failures in Asynchronous Multiparty Session Types
LMCS vol.Volume 21, Issue 22025
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
LMCS vol.Volume 21, Issue 22025
Decidability of Querying First-Order Theories via Countermodels of Finite Width
LMCS vol.Volume 21, Issue 22025
A robust graph-based approach to observational equivalence
LMCS vol.Volume 21, Issue 22025
String Diagrams for Premonoidal Categories
LMCS vol.Volume 21, Issue 22025
Left-Linear Completion with AC Axioms
LMCS vol.Volume 21, Issue 22025
Drawing with Distance
LMCS vol.Volume 21, Issue 22025
The categorical contours of the Chomsky-Sch\"utzenberger representation theorem
LMCS vol.Volume 21, Issue 22025
The Many-Worlds Calculus
LMCS vol.Volume 21, Issue 22025
Ranked Enumeration of Conjunctive Query Results
LMCS vol.Volume 21, Issue 22025
Structural Reductions and Stutter Sensitive Properties
LMCS vol.Volume 21, Issue 22025
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
LMCS vol.Volume 21, Issue 22025
Completions of Kleene's second model
LMCS vol.Volume 21, Issue 22025
Relating Reversible Petri Nets and Reversible Event Structures, categorically
LMCS vol.Volume 21, Issue 22025
Stochastic Window Mean-Payoff Games
LMCS vol.Volume 21, Issue 22025
Discounted-Sum Automata with Multiple Discount Factors
LMCS vol.Volume 21, Issue 22025
The Identity Problem in the special affine group of $\mathbb{Z}^2$
LMCS vol.Volume 21, Issue 22025
Indivisibility and uniform computational strength
LMCS vol.Volume 21, Issue 22025
Conjunctive Queries with Free Access Patterns under Updates
LMCS vol.Volume 21, Issue 22025
Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
LMCS vol.Volume 21, Issue 22025
Fractals from Regular Behaviours
LMCS vol.Volume 21, Issue 22025
On first-order transductions of classes of graphs
LMCS vol.Volume 21, Issue 22025
Algorithms for Markov Binomial Chains
LMCS vol.Volume 21, Issue 22025
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
LMCS vol.Volume 21, Issue 22025
Hydra Battles and AC Termination
LMCS vol.Volume 21, Issue 22025
A Behavioral Theory for Distributed Systems with Weak Recovery
LMCS vol.Volume 21, Issue 32025
Automata Linear Dynamic Logic on Finite Traces
LMCS vol.Volume 21, Issue 32025
The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)
LMCS vol.Volume 21, Issue 32025
A Curry-Howard Correspondence for Linear, Reversible Computation
LMCS vol.Volume 21, Issue 32025
A Monoidal View on Fixpoint Checks
LMCS vol.Volume 21, Issue 32025
Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions
LMCS vol.Volume 21, Issue 32025
Rewriting techniques for relative coherence
LMCS vol.Volume 21, Issue 32025
The Church Synthesis Problem over Continuous Time
LMCS vol.Volume 21, Issue 32025
Learning Concepts Definable in First-Order Logic with Counting
LMCS vol.Volume 21, Issue 32025
Boolean basis, formula size, and number of modal operators
LMCS vol.Volume 21, Issue 32025
Synthesis with Privacy Against an Observer
LMCS vol.Volume 21, Issue 32025
A Categorical Treatment of Open Linear Systems
LMCS vol.Volume 21, Issue 32025
MacroSwarm: A Field-based Compositional Framework for Swarm Programming
LMCS vol.Volume 21, Issue 32025
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
LMCS vol.Volume 21, Issue 32025
Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
LMCS vol.Volume 21, Issue 32025
Feasability of Learning Weighted Automata on a Semiring
LMCS vol.Volume 21, Issue 32025
A Fully Abstract Model of PCF Based on Extended Addressing Machines
LMCS vol.Volume 21, Issue 32025
Coinductive Streams in Monoidal Categories
LMCS vol.Volume 21, Issue 32025
On Bisimilarity for Quasi-discrete Closure Spaces
LMCS vol.Volume 21, Issue 32025
Aczel-Mendler Bisimulations in a Regular Category
LMCS vol.Volume 21, Issue 32025
Craig Interpolation for Decidable First-Order Fragments
LMCS vol.Volume 21, Issue 32025
Totality for Mixed Inductive and Coinductive Types
LMCS vol.Volume 21, Issue 32025
Distributed controller synthesis for deadlock avoidance
LMCS vol.Volume 21, Issue 32025
The Size-Change Principle for Mixed Inductive and Coinductive types
LMCS vol.Volume 21, Issue 32025
Extensional and Non-extensional Functions as Processes
LMCS vol.Volume 21, Issue 32025
On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
LMCS vol.Volume 21, Issue 32025
Enumeration Algorithms for Conjunctive Queries with Projection
LMCS vol.Volume 21, Issue 32025
Rigorous Function Calculi in Ariadne
LMCS vol.Volume 21, Issue 32025
FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata
LMCS vol.Volume 21, Issue 32025
Multi-representation associated to the numbering of a subbasis and formal inclusion relations
LMCS vol.Volume 21, Issue 32025
TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)
LMCS vol.Volume 21, Issue 32025
Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
LMCS vol.Volume 21, Issue 32025
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
LMCS vol.Volume 21, Issue 42025
Programming Distributed Collective Processes in the eXchange Calculus
LMCS vol.Volume 21, Issue 42025
Decidability of extensions of Presburger arithmetic by generalised polynomials
LMCS vol.Volume 21, Issue 42025
Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
LMCS vol.Volume 21, Issue 42025
What Monads Can and Cannot Do with a Few Extra Pages
LMCS vol.Volume 21, Issue 42025
Extended Stone Duality via Monoidal Adjunctions
LMCS vol.Volume 21, Issue 42025
Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids
LMCS vol.Volume 21, Issue 42025
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
LMCS vol.Volume 21, Issue 42025
Strategies as Resource Terms, and their Categorical Semantics
LMCS vol.Volume 21, Issue 42025
A categorical account of composition methods in logic (extended version)
LMCS vol.Volume 21, Issue 42025
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Selection of Methodological Approaches and Their Application
LMCS vol.Volume 21, Issue 42025
A Hierarchy of Nondeterminism
LMCS vol.Volume 21, Issue 42025
Positive Hennessy-Milner Logic for Branching Bisimulation
LMCS vol.Volume 21, Issue 42025
From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
LMCS vol.Volume 21, Issue 42025
Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
LMCS vol.Volume 21, Issue 42025
Range (Rényi) Entropy Queries and Partitioning
LMCS vol.Volume 21, Issue 42025
On guarded extensions of MMSNP
LMCS vol.Volume 21, Issue 42025
Computational expressivity of (circular) proofs with fixed points
LMCS vol.Volume 21, Issue 42025
A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations
LMCS vol.Volume 21, Issue 42025
On the Descriptive Complexity of Groups without Abelian Normal Subgroups
LMCS vol.Volume 21, Issue 42025
Alignment complete relational Hoare logics for some and all
LMCS vol.Volume 21, Issue 42025
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
LMCS vol.Volume 21, Issue 42025
On the consistency of stronger lower bounds for NEXP
LMCS vol.Volume 21, Issue 42025
Type Isomorphisms for Multiplicative-Additive Linear Logic
LMCS vol.Volume 21, Issue 42025
Simplifying explicit subtyping coercions in a polymorphic calculus with effects
LMCS vol.Volume 21, Issue 42025
Data-Aware Hybrid Tableaux
LMCS vol.Volume 21, Issue 42025
Derivatives on Graphs for the Positive Calculus of Relations with Transitive Closure
LMCS vol.Volume 21, Issue 42025
Trade-offs between classical and quantum space using spooky pebbling
LMCS vol.Volume 21, Issue 42025
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
LMCS vol.Volume 21, Issue 42025
Approximating Queries on Probabilistic Graphs
LMCS vol.Volume 21, Issue 42025
Quantitative Semantics for Jumping Automata
LMCS vol.Volume 21, Issue 42025
202496 篇 · vol.Volume 20, Issue 1
Depth lower bounds in Stabbing Planes for combinatorial principles
LMCS vol.Volume 20, Issue 12024
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
LMCS vol.Volume 20, Issue 12024
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
LMCS vol.Volume 20, Issue 12024
Foundations of probability-raising causality in Markov decision processes
LMCS vol.Volume 20, Issue 12024
Node Replication: Theory And Practice
LMCS vol.Volume 20, Issue 12024
Compositional Confluence Criteria
LMCS vol.Volume 20, Issue 12024
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
LMCS vol.Volume 20, Issue 12024
Deciding Equations in the Time Warp Algebra
LMCS vol.Volume 20, Issue 12024
Linear Programs with Conjunctive Database Queries
LMCS vol.Volume 20, Issue 12024
Playing Safe, Ten Years Later
LMCS vol.Volume 20, Issue 12024
revTPL: The Reversible Temporal Process Language
LMCS vol.Volume 20, Issue 12024
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
LMCS vol.Volume 20, Issue 12024
Galois connecting call-by-value and call-by-name
LMCS vol.Volume 20, Issue 12024
Towards Uniform Certification in QBF
LMCS vol.Volume 20, Issue 12024
Separators in Continuous Petri Nets
LMCS vol.Volume 20, Issue 12024
Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
LMCS vol.Volume 20, Issue 12024
Stabilized profunctors and stable species of structures
LMCS vol.Volume 20, Issue 12024
Variable binding and substitution for (nameless) dummies
LMCS vol.Volume 20, Issue 12024
Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of Quantum Computing
LMCS vol.Volume 20, Issue 12024
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
LMCS vol.Volume 20, Issue 12024
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
LMCS vol.Volume 20, Issue 12024
Analyzing Robustness of Angluin's L$^*$ Algorithm in Presence of Noise
LMCS vol.Volume 20, Issue 12024
The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
LMCS vol.Volume 20, Issue 12024
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
LMCS vol.Volume 20, Issue 22024
Boolean proportions
LMCS vol.Volume 20, Issue 22024
Inapproximability of Unique Games in Fixed-Point Logic with Counting
LMCS vol.Volume 20, Issue 22024
A Strong Bisimulation for a Classical Term Calculus
LMCS vol.Volume 20, Issue 22024
Encodability Criteria for Quantum Based Systems
LMCS vol.Volume 20, Issue 22024
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
LMCS vol.Volume 20, Issue 22024
On Tools for Completeness of Kleene Algebra with Hypotheses
LMCS vol.Volume 20, Issue 22024
The Pebble-Relation Comonad in Finite Model Theory
LMCS vol.Volume 20, Issue 22024
Addition and Differentiation of ZX-diagrams
LMCS vol.Volume 20, Issue 22024
Executable First-Order Queries in the Logic of Information Flows
LMCS vol.Volume 20, Issue 22024
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
LMCS vol.Volume 20, Issue 22024
Branch-Well-Structured Transition Systems and Extensions
LMCS vol.Volume 20, Issue 22024
Linear-time logics -- a coalgebraic perspective
LMCS vol.Volume 20, Issue 22024
On the Metric Temporal Logic for Continuous Stochastic Processes
LMCS vol.Volume 20, Issue 22024
An implicit function theorem for the stream calculus
LMCS vol.Volume 20, Issue 22024
Transpension: The Right Adjoint to the Pi-type
LMCS vol.Volume 20, Issue 22024
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
LMCS vol.Volume 20, Issue 22024
$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
LMCS vol.Volume 20, Issue 22024
Robust non-computability of dynamical systems and computability of robust dynamical systems
LMCS vol.Volume 20, Issue 22024
Simulations for Event-Clock Automata
LMCS vol.Volume 20, Issue 32024
On the Satisfiability of Local First-Order Logics with Data
LMCS vol.Volume 20, Issue 32024
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines
LMCS vol.Volume 20, Issue 32024
Twin-width and permutations
LMCS vol.Volume 20, Issue 32024
Operations on Fixpoint Equation Systems
LMCS vol.Volume 20, Issue 32024
Many-valued coalgebraic logic over semi-primal varieties
LMCS vol.Volume 20, Issue 32024
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
LMCS vol.Volume 20, Issue 32024
Game Comonads & Generalised Quantifiers
LMCS vol.Volume 20, Issue 32024
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi
LMCS vol.Volume 20, Issue 32024
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
LMCS vol.Volume 20, Issue 32024
Decidability for Sturmian words
LMCS vol.Volume 20, Issue 32024
Isolated Suborders and their Application to Counting Closure Operators
LMCS vol.Volume 20, Issue 32024
A Session Type System for Asynchronous Unreliable Broadcast Communication
LMCS vol.Volume 20, Issue 32024
Complexity results for modal logic with recursion via translations and tableaux
LMCS vol.Volume 20, Issue 32024
Deterministic pushdown automata can compress some normal sequences
LMCS vol.Volume 20, Issue 32024
Controller Synthesis for Timeline-based Games
LMCS vol.Volume 20, Issue 32024
On two-variable guarded fragment logic with expressive local Presburger constraints
LMCS vol.Volume 20, Issue 32024
Zeta Functions and the (Linear) Logic of Markov Processes
LMCS vol.Volume 20, Issue 32024
Half-Positional Objectives Recognized by Deterministic B\"uchi Automata
LMCS vol.Volume 20, Issue 32024
Preservation theorems for Tarski's relation algebra
LMCS vol.Volume 20, Issue 32024
Simply typed convertibility is TOWER-complete even for safe lambda-terms
LMCS vol.Volume 20, Issue 32024
QBF Merge Resolution is powerful but unnatural
LMCS vol.Volume 20, Issue 32024
Sharing proofs with predicative theories through universe-polymorphic elaboration
LMCS vol.Volume 20, Issue 32024
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
LMCS vol.Volume 20, Issue 32024
Disentangling Parallelism and Interference in Game Semantics
LMCS vol.Volume 20, Issue 32024
Higher-Order Asynchronous Effects
LMCS vol.Volume 20, Issue 32024
Completeness Theorems for Kleene algebra with tests and top
LMCS vol.Volume 20, Issue 32024
History-deterministic Timed Automata
LMCS vol.Volume 20, Issue 42024
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
LMCS vol.Volume 20, Issue 42024
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
LMCS vol.Volume 20, Issue 42024
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
LMCS vol.Volume 20, Issue 42024
Fair Asynchronous Session Subtyping
LMCS vol.Volume 20, Issue 42024
Formalising the Double-Pushout Approach to Graph Transformation
LMCS vol.Volume 20, Issue 42024
A cone-theoretic barycenter existence theorem
LMCS vol.Volume 20, Issue 42024
String diagrams for Strictification and Coherence
LMCS vol.Volume 20, Issue 42024
Sum and Tensor of Quantitative Effects
LMCS vol.Volume 20, Issue 42024
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
LMCS vol.Volume 20, Issue 42024
Termination of Graph Transformation Systems Using Weighted Subgraph Counting
LMCS vol.Volume 20, Issue 42024
On the relative asymptotic expressivity of inference frameworks
LMCS vol.Volume 20, Issue 42024
Stochastic Processes with Expected Stopping Time
LMCS vol.Volume 20, Issue 42024
On the Semantic Expressiveness of Iso- and Equi-Recursive Types
LMCS vol.Volume 20, Issue 42024
Reasonable Space for the ${\lambda}$-Calculus, Logarithmically
LMCS vol.Volume 20, Issue 42024
Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
LMCS vol.Volume 20, Issue 42024
A Calculus for Scoped Effects & Handlers
LMCS vol.Volume 20, Issue 42024
A Truly Concurrent Semantics for Reversible CCS
LMCS vol.Volume 20, Issue 42024
Fine-grained Meta-Theorems for Vertex Integrity
LMCS vol.Volume 20, Issue 42024
Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
LMCS vol.Volume 20, Issue 42024
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
LMCS vol.Volume 20, Issue 42024
Kleene Theorem for Higher-Dimensional Automata
LMCS vol.Volume 20, Issue 42024
On the Home-Space Problem for Petri Nets and its Ackermannian Complexity
LMCS vol.Volume 20, Issue 42024
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
LMCS vol.Volume 20, Issue 42024
Unifying cubical and multimodal type theory
LMCS vol.Volume 20, Issue 42024
Multi-Structural Games and Beyond
LMCS vol.Volume 20, Issue 42024
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
LMCS vol.Volume 20, Issue 42024
202395 篇 · vol.Volume 19, Issue 1
Multiparty testing preorders
LMCS vol.Volume 19, Issue 12023
Stream processors and comodels
LMCS vol.Volume 19, Issue 12023
Deconfined Global Types for Asynchronous Sessions
LMCS vol.Volume 19, Issue 12023
Coalgebras for Bisimulation of Weighted Automata over Semirings
LMCS vol.Volume 19, Issue 12023
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
LMCS vol.Volume 19, Issue 12023
Concurrent Process Histories and Resource Transducers
LMCS vol.Volume 19, Issue 12023
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
LMCS vol.Volume 19, Issue 12023
Completeness of Nominal PROPs
LMCS vol.Volume 19, Issue 12023
A proof system for graph (non)-isomorphism verification
LMCS vol.Volume 19, Issue 12023
Learning of Structurally Unambiguous Probabilistic Grammars
LMCS vol.Volume 19, Issue 12023
Countdown games, and simulation on (succinct) one-counter nets
LMCS vol.Volume 19, Issue 12023
A modular construction of type theories
LMCS vol.Volume 19, Issue 12023
Good-for-games $\omega$-Pushdown Automata
LMCS vol.Volume 18, Issue 12023
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
LMCS vol.Volume 19, Issue 12023
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
LMCS vol.Volume 19, Issue 12023
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
LMCS vol.Volume 19, Issue 12023
A case study on parametric verification of failure detectors
LMCS vol.Volume 19, Issue 12023
Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
LMCS vol.Volume 19, Issue 12023
A Formal Model for Polarization under Confirmation Bias in Social Networks
LMCS vol.Volume 19, Issue 12023
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties
LMCS vol.Volume 19, Issue 12023
Optimal controller synthesis for timed systems
LMCS vol.Volume 19, Issue 12023
A strong call-by-need calculus
LMCS vol.Volume 19, Issue 12023
Sound approximate and asymptotic probabilistic bisimulations for PCTL
LMCS vol.Volume 19, Issue 12023
LNL polycategories and doctrines of linear logic
LMCS vol.Volume 19, Issue 22023
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
LMCS vol.Volume 19, Issue 22023
Causal Unfoldings and Disjunctive Causes
LMCS vol.Volume 19, Issue 22023
Inferring Symbolic Automata
LMCS vol.Volume 19, Issue 22023
Smart Choices and the Selection Monad
LMCS vol.Volume 19, Issue 22023
Stateful Realizers for Nonstandard Analysis
LMCS vol.Volume 19, Issue 22023
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
LMCS vol.Volume 19, Issue 22023
On Small Types in Univalent Foundations
LMCS vol.Volume 19, Issue 22023
SAT-Inspired Higher-Order Eliminations
LMCS vol.Volume 19, Issue 22023
Lowerbounds for Bisimulation by Partition Refinement
LMCS vol.Volume 19, Issue 22023
Enumerating Independent Linear Inferences
LMCS vol.Volume 19, Issue 22023
Adding Negation to Lambda Mu
LMCS vol.Volume 19, Issue 22023
HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems
LMCS vol.Volume 19, Issue 22023
Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes
LMCS vol.Volume 19, Issue 22023
Flexible Correct-by-Construction Programming
LMCS vol.Volume 19, Issue 22023
Fixpoint Theory -- Upside Down
LMCS vol.Volume 19, Issue 22023
A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
LMCS vol.Volume 19, Issue 22023
Computing with Infinite Objects: the Gray Code Case
LMCS vol.Volume 19, Issue 32023
A framework to measure the robustness of programs in the unpredictable environment
LMCS vol.Volume 19, Issue 32023
Separating Sessions Smoothly
LMCS vol.Volume 19, Issue 32023
On Presburger arithmetic extended with non-unary counting quantifiers
LMCS vol.Volume 19, Issue 32023
Reduction Free Normalisation for a proof irrelevant type of propositions
LMCS vol.Volume 19, Issue 32023
Capturing the polynomial hierarchy by second-order revised Krom logic
LMCS vol.Volume 19, Issue 32023
Positive First-order Logic on Words and Graphs
LMCS vol.Volume 19, Issue 32023
A Spatial Logic for Simplicial Models
LMCS vol.Volume 19, Issue 32023
A Theory of Formal Choreographic Languages
LMCS vol.Volume 19, Issue 32023
Continuous Positional Payoffs
LMCS vol.Volume 19, Issue 32023
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries
LMCS vol.Volume 19, Issue 32023
The Complexity of Aggregates over Extractions by Regular Expressions
LMCS vol.Volume 19, Issue 32023
Arboreal Categories: An Axiomatic Theory of Resources
LMCS vol.Volume 19, Issue 32023
A first-order logic characterization of safety and co-safety languages
LMCS vol.Volume 19, Issue 32023
Monoidal Width
LMCS vol.Volume 19, Issue 32023
Answer Counting under Guarded TGDs
LMCS vol.Volume 19, Issue 32023
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
LMCS vol.Volume 19, Issue 42023
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
LMCS vol.Volume 19, Issue 42023
Impure Simplicial Complexes: Complete Axiomatization
LMCS vol.Volume 19, Issue 42023
Locality and Centrality: The Variety ZG
LMCS vol.Volume 19, Issue 42023
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
LMCS vol.Volume 19, Issue 42023
Subgame-perfect Equilibria in Mean-payoff Games (journal version)
LMCS vol.Volume 19, Issue 42023
A coherent differential PCF
LMCS vol.Volume 19, Issue 42023
The Power-Set Construction for Tree Algebras
LMCS vol.Volume 19, Issue 42023
Token Games and History-Deterministic Quantitative-Automata
LMCS vol.Volume 19, Issue 42023
A categorical characterization of relative entropy on standard Borel spaces
LMCS vol.Volume 19, Issue 42023
Making first order linear logic a generating grammar
LMCS vol.Volume 19, Issue 42023
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
LMCS vol.Volume 19, Issue 42023
A model of actors and grey failures
LMCS vol.Volume 19, Issue 42023
FTMPST: Fault-Tolerant Multiparty Session Types
LMCS vol.Volume 19, Issue 42023
Fine-Grained Complexity of Regular Path Queries
LMCS vol.Volume 19, Issue 42023
Computing the Density of the Positivity Set for Linear Recurrence Sequences
LMCS vol.Volume 19, Issue 42023
Rewriting with Acyclic Queries: Mind Your Head
LMCS vol.Volume 19, Issue 42023
Arena-Independent Finite-Memory Determinacy in Stochastic Games
LMCS vol.Volume 19, Issue 42023
Simulation by Rounds of Letter-to-Letter Transducers
LMCS vol.Volume 19, Issue 42023
A Trichotomy for Regular Trail Queries
LMCS vol.Volume 19, Issue 42023
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
LMCS vol.Volume 19, Issue 42023
Overlap Algebras as Almost Discrete Locales
LMCS vol.Volume 19, Issue 42023
Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
LMCS vol.Volume 19, Issue 42023
Model Checking Temporal Properties of Recursive Probabilistic Programs
LMCS vol.Volume 19, Issue 42023
The syntactic side of autonomous categories enriched over generalised metric spaces
LMCS vol.Volume 19, Issue 42023
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
LMCS vol.Volume 19, Issue 42023
Dynamic Cantor Derivative Logic
LMCS vol.Volume 19, Issue 42023
Prioritise the Best Variation
LMCS vol.Volume 19, Issue 42023
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
LMCS vol.Volume 19, Issue 42023
Categorical composable cryptography: extended version
LMCS vol.Volume 19, Issue 42023
Relational Models for the Lambek Calculus with Intersection and Constants
LMCS vol.Volume 19, Issue 42023
Space-Fluid Adaptive Sampling by Self-Organisation
LMCS vol.Volume 19, Issue 42023
Synchronizability of Communicating Finite State Machines is not Decidable
LMCS vol.Volume 19, Issue 42023
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
LMCS vol.Volume 19, Issue 42023
Existential Definability over the Subword Ordering
LMCS vol.Volume 19, Issue 42023
Decision Questions for Probabilistic Automata on Small Alphabets
LMCS vol.Volume 19, Issue 42023
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
LMCS vol.Volume 19, Issue 42023
Efficient Evaluation of Arbitrary Relational Calculus Queries
LMCS vol.Volume 19, Issue 42023
Robustness against Read Committed for Transaction Templates with Functional Constraints
LMCS vol.Volume 19, Issue 42023
2022118 篇 · vol.Volume 18, Issue 1
On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants
LMCS vol.Volume 18, Issue 12022
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
LMCS vol.Volume 18, Issue 12022
The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs
LMCS vol.Volume 18, Issue 12022
Integrity Constraints Revisited: From Exact to Approximate Implication
LMCS vol.Volume 18, Issue 12022
A Recursive Approach to Solving Parity Games in Quasipolynomial Time
LMCS vol.Volume 18, Issue 12022
$\sigma$-locales in Formal Topology
LMCS vol.Volume 18, Issue 12022
Conditional Bisimilarity for Reactive Systems
LMCS vol.Volume 18, Issue 12022
Rast: A Language for Resource-Aware Session Types
LMCS vol.Volume 18, Issue 12022
Normalization for planar string diagrams and a quadratic equivalence algorithm
LMCS vol.Volume 18, Issue 12022
Games Where You Can Play Optimally with Arena-Independent Finite Memory
LMCS vol.Volume 18, Issue 12022
An extensible equality checking algorithm for dependent type theories
LMCS vol.Volume 18, Issue 12022
A duality theoretic view on limits of finite structures: Extended version
LMCS vol.Volume 18, Issue 12022
Conformance Relations and Hyperproperties for Doping Detection in Time and Space
LMCS vol.Volume 18, Issue 12022
On the Axiomatisability of Parallel Composition
LMCS vol.Volume 18, Issue 12022
Universal Algebraic Methods for Constraint Satisfaction Problems
LMCS vol.Volume 18, Issue 12022
No-Go Theorems for Distributive Laws
LMCS vol.Volume 18, Issue 12022
On the Nielsen-Schreier Theorem in Homotopy Type Theory
LMCS vol.Volume 18, Issue 12022
Bounded Reachability Problems are Decidable in FIFO Machines
LMCS vol.Volume 18, Issue 12022
Quantifying over Boolean announcements
LMCS vol.Volume 18, Issue 12022
Weight Annotation in Information Extraction
LMCS vol.Volume 18, Issue 12022
Verifying liquidity of recursive Bitcoin contracts
LMCS vol.Volume 18, Issue 12022
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
LMCS vol.Volume 18, Issue 12022
Quotients of Bounded Natural Functors
LMCS vol.Volume 18, Issue 12022
Regular matching problems for infinite trees
LMCS vol.Volume 18, Issue 12022
Residuality and Learning for Nondeterministic Nominal Automata
LMCS vol.Volume 18, Issue 12022
Duality for powerset coalgebras
LMCS vol.Volume 18, Issue 12022
Optimizing tree decompositions in MSO
LMCS vol.Volume 18, Issue 12022
Canonicity and homotopy canonicity for cubical type theory
LMCS vol.Volume 18, Issue 12022
Fixed Points Theorems for Non-Transitive Relations
LMCS vol.Volume 18, Issue 12022
Reachability and liveness in parametric timed automata
LMCS vol.Volume 18, Issue 12022
Proof Theory of Riesz Spaces and Modal Riesz Spaces
LMCS vol.Volume 18, Issue 12022
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
LMCS vol.Volume 16, Issue 12022
A tier-based typed programming language characterizing Feasible Functionals
LMCS vol.Volume 18, Issue 12022
Infinite Probabilistic Databases
LMCS vol.Volume 18, Issue 12022
Verified Approximation Algorithms
LMCS vol.Volume 18, Issue 12022
Hilbert's Tenth Problem in Coq (Extended Version)
LMCS vol.Volume 18, Issue 12022
Sequential Relational Decomposition
LMCS vol.Volume 18, Issue 12022
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
LMCS vol.Volume 18, Issue 12022
A Scalable Algorithm for Decentralized Actor Termination Detection
LMCS vol.Volume 18, Issue 12022
The Big-O Problem
LMCS vol.Volume 18, Issue 12022
Higher Order Automatic Differentiation of Higher Order Functions
LMCS vol.Volume 18, Issue 12022
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
LMCS vol.Volume 18, Issue 12022
A Cubical Language for Bishop Sets
LMCS vol.Volume 18, Issue 12022
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
LMCS vol.Volume 18, Issue 22022
Uniform Interpolants in EUF: Algorithms using DAG-representations
LMCS vol.Volume 18, Issue 22022
A Flexible Proof Format for SAT Solver-Elaborator Communication
LMCS vol.Volume 18, Issue 22022
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
LMCS vol.Volume 18, Issue 22022
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
LMCS vol.Volume 18, Issue 22022
A Near-Optimal Parallel Algorithm for Joining Binary Relations
LMCS vol.Volume 18, Issue 22022
Circular Proofs as Session-Typed Processes: A Local Validity Condition
LMCS vol.Volume 18, Issue 22022
Enumerating Answers to First-Order Queries over Databases of Low Degree
LMCS vol.Volume 18, Issue 22022
Determinisability of register and timed automata
LMCS vol.Volume 18, Issue 22022
Formalizing the Face Lattice of Polyhedra
LMCS vol.Volume 18, Issue 22022
Tractable Combinations of Temporal CSPs
LMCS vol.Volume 18, Issue 22022
CC-circuits and the expressive power of nilpotent algebras
LMCS vol.Volume 18, Issue 22022
Specification and Verification of Timing Properties in Interoperable Medical Systems
LMCS vol.Volume 18, Issue 22022
When Can We Answer Queries Using Result-Bounded Data Interfaces?
LMCS vol.Volume 18, Issue 22022
Quotients, inductive types, and quotient inductive types
LMCS vol.Volume 18, Issue 22022
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
LMCS vol.Volume 18, Issue 22022
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
LMCS vol.Volume 18, Issue 22022
A Finite-Model-Theoretic View on Propositional Proof Complexity
LMCS vol.Volume 15, Issue 12022
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
LMCS vol.Volume 18, Issue 22022
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
LMCS vol.Volume 18, Issue 22022
The Shapley Value of Inconsistency Measures for Functional Dependencies
LMCS vol.Volume 18, Issue 22022
The Theory of Traces for Systems with Nondeterminism, Probability, and Termination
LMCS vol.Volume 18, Issue 22022
Asynchronous wreath product and cascade decompositions for concurrent behaviours
LMCS vol.Volume 18, Issue 22022
Synthesis of Computable Regular Functions of Infinite Words
LMCS vol.Volume 18, Issue 22022
Modal meet-implication logic
LMCS vol.Volume 18, Issue 32022
A Coalgebraic Approach to Dualities for Neighborhood Frames
LMCS vol.Volume 18, Issue 32022
Fusible numbers and Peano Arithmetic
LMCS vol.Volume 18, Issue 32022
Uniform Envelopes
LMCS vol.Volume 18, Issue 32022
Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard?
LMCS vol.Volume 18, Issue 32022
Modularising Verification Of Durable Opacity
LMCS vol.Volume 18, Issue 32022
Addressing Machines as models of lambda-calculus
LMCS vol.Volume 18, Issue 32022
Timed Automata Robustness Analysis via Model Checking
LMCS vol.Volume 18, Issue 32022
A First-Order Complete Temporal Logic for Structured Context-Free Languages
LMCS vol.Volume 18, Issue 32022
Comparator automata in quantitative verification
LMCS vol.Volume 18, Issue 32022
Computability of Data-Word Transductions over Different Data Domains
LMCS vol.Volume 18, Issue 32022
Minimization and Canonization of GFG Transition-Based Automata
LMCS vol.Volume 18, Issue 32022
Modules over monads and operational semantics (expanded version)
LMCS vol.Volume 18, Issue 32022
Point-free Construction of Real Exponentiation
LMCS vol.Volume 18, Issue 32022
Tameness and the power of programs over monoids in DA
LMCS vol.Volume 18, Issue 32022
Differentials and distances in probabilistic coherence spaces
LMCS vol.Volume 18, Issue 32022
Moss' logic for ordered coalgebras
LMCS vol.Volume 18, Issue 32022
Instance reducibility and Weihrauch degrees
LMCS vol.Volume 18, Issue 32022
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
LMCS vol.Volume 18, Issue 32022
The Third Trick
LMCS vol.Volume 18, Issue 32022
One-Clock Priced Timed Games with Negative Weights
LMCS vol.Volume 18, Issue 32022
Typability and Type Inference in Atomic Polymorphism
LMCS vol.Volume 18, Issue 32022
Strongly-Normalizing Higher-Order Relational Queries
LMCS vol.Volume 18, Issue 32022
Limits of real numbers in the binary signed digit representation
LMCS vol.Volume 18, Issue 32022
Small Promise CSPs that reduce to large CSPs
LMCS vol.Volume 18, Issue 32022
Disjunctive bases: normal forms and model theory for modal logics
LMCS vol.Volume 15, Issue 12022
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
LMCS vol.Volume 18, Issue 32022
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
LMCS vol.Volume 18, Issue 32022
The Theory of Universal Graphs for Infinite Duration Games
LMCS vol.Volume 18, Issue 32022
Linear Dependent Type Theory for Quantum Programming Languages
LMCS vol.Volume 18, Issue 32022
Distributed Asynchronous Games With Causal Memory are Undecidable
LMCS vol.Volume 18, Issue 32022
Minimality Notions via Factorization Systems and Examples
LMCS vol.Volume 18, Issue 32022
Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
LMCS vol.Volume 18, Issue 32022
A Functional Abstraction of Typed Invocation Contexts
LMCS vol.Volume 18, Issue 32022
Relating Functional and Imperative Session Types
LMCS vol.Volume 18, Issue 32022
A categorical framework for congruence of applicative bisimilarity in higher-order languages
LMCS vol.Volume 18, Issue 32022
On sets of terms having a given intersection type
LMCS vol.Volume 18, Issue 32022
A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
LMCS vol.Volume 18, Issue 32022
General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
LMCS vol.Volume 18, Issue 42022
An Analytic Propositional Proof System on Graphs
LMCS vol.Volume 18, Issue 42022
Building Specifications in the Event-B Institution
LMCS vol.Volume 18, Issue 42022
Uniform Reliability of Self-Join-Free Conjunctive Queries
LMCS vol.Volume 18, Issue 42022
Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice
LMCS vol.Volume 18, Issue 42022
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence
LMCS vol.Volume 18, Issue 42022
Geometric Model Checking of Continuous Space
LMCS vol.Volume 18, Issue 42022
Convexity via Weak Distributive Laws
LMCS vol.Volume 18, Issue 42022
Algebraic coherent confluence and higher globular Kleene algebras
LMCS vol.Volume 18, Issue 42022
Coalgebraic Geometric Logic: Basic Theory
LMCS vol.Volume 18, Issue 42022
Linear equations for unordered data vectors in $[D]^k\to{}Z^d$
LMCS vol.Volume 18, Issue 42022
A theory of Automated Market Makers in DeFi
LMCS vol.Volume 18, Issue 42022
Converse extensionality and apartness
LMCS vol.Volume 18, Issue 42022
2021102 篇 · vol.Volume 17, Issue 1
Axiomatizing Maximal Progress and Discrete Time
LMCS vol.Volume 17, Issue 12021
On the Strong Equivalences for LPMLN Programs
LMCS vol.Volume 17, Issue 12021
2-adjoint equivalences in homotopy type theory
LMCS vol.Volume 17, Issue 12021
Tameness in least fixed-point logic and McColm's conjecture
LMCS vol.Volume 17, Issue 12021
Definable decompositions for graphs of bounded linear cliquewidth
LMCS vol.Volume 17, Issue 12021
Modal Logics for Nominal Transition Systems
LMCS vol.Volume 17, Issue 12021
Solvability = Typability + Inhabitation
LMCS vol.Volume 17, Issue 12021
Correct and Efficient Antichain Algorithms for Refinement Checking
LMCS vol.Volume 17, Issue 12021
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
LMCS vol.Volume 17, Issue 12021
Robustness Against Transactional Causal Consistency
LMCS vol.Volume 17, Issue 12021
Axiomatization of betweenness in order-theoretic trees
LMCS vol.Volume 17, Issue 12021
Determinacy in Discrete-Bidding Infinite-Duration Games
LMCS vol.Volume 17, Issue 12021
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
LMCS vol.Volume 17, Issue 12021
The $\pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
LMCS vol.Volume 17, Issue 12021
Output-sensitive Information flow analysis
LMCS vol.Volume 17, Issue 12021
A Formal Proof of the Irrationality of $\zeta(3)$
LMCS vol.Volume 17, Issue 12021
Datatype defining rewrite systems for naturals and integers
LMCS vol.Volume 17, Issue 12021
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
LMCS vol.Volume 17, Issue 12021
Constructive Domains with Classical Witnesses
LMCS vol.Volume 17, Issue 12021
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
LMCS vol.Volume 17, Issue 12021
Synthesis of Data Word Transducers
LMCS vol.Volume 17, Issue 12021
Stubborn Set Reduction for Two-Player Reachability Games
LMCS vol.Volume 17, Issue 12021
Reconfiguration and Message Losses in Parameterized Broadcast Networks
LMCS vol.Volume 17, Issue 12021
Superposition for Lambda-Free Higher-Order Logic
LMCS vol.Volume 17, Issue 22021
Coalgebraic Semantics for Probabilistic Logic Programming
LMCS vol.Volume 17, Issue 22021
Semipullbacks of labelled Markov processes
LMCS vol.Volume 17, Issue 22021
Algebraic Language Theory for Eilenberg--Moore Algebras
LMCS vol.Volume 17, Issue 22021
Sculptures in Concurrency
LMCS vol.Volume 17, Issue 22021
Direct spectra of Bishop spaces and their limits
LMCS vol.Volume 17, Issue 22021
Logic for exact real arithmetic
LMCS vol.Volume 17, Issue 22021
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
LMCS vol.Volume 17, Issue 22021
Constructing Higher Inductive Types as Groupoid Quotients
LMCS vol.Volume 17, Issue 22021
Reachability Switching Games
LMCS vol.Volume 17, Issue 22021
DRAT and Propagation Redundancy Proofs Without New Variables
LMCS vol.Volume 17, Issue 22021
Failure Trace Semantics for a Process Algebra with Time-outs
LMCS vol.Volume 17, Issue 22021
Parametric updates in parametric timed automata
LMCS vol.Volume 17, Issue 22021
Decidability for Entailments of Symbolic Heaps with Arrays
LMCS vol.Volume 17, Issue 22021
Partially Ordered Automata and Piecewise Testability
LMCS vol.Volume 17, Issue 22021
Computable analysis and notions of continuity in Coq
LMCS vol.Volume 17, Issue 22021
Presentable signatures and initial semantics
LMCS vol.Volume 17, Issue 22021
Theories of real addition with and without a predicate for integers
LMCS vol.Volume 17, Issue 22021
Interface Modeling for Quality and Resource Management
LMCS vol.Volume 17, Issue 22021
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
LMCS vol.Volume 17, Issue 22021
Star Games and Hydras
LMCS vol.Volume 17, Issue 22021
Predicative theories of continuous lattices
LMCS vol.Volume 17, Issue 22021
Algebraic cocompleteness and finitary functors
LMCS vol.Volume 17, Issue 22021
Discovering ePassport Vulnerabilities using Bisimilarity
LMCS vol.Volume 17, Issue 22021
Encoding many-valued logic in $\lambda$-calculus
LMCS vol.Volume 17, Issue 22021
Presburger Arithmetic with algebraic scalar multiplications
LMCS vol.Volume 17, Issue 32021
Axiomatizing Hybrid XPath with Data
LMCS vol.Volume 17, Issue 32021
Affine Extensions of Integer Vector Addition Systems with States
LMCS vol.Volume 17, Issue 32021
The Complexity of Reachability in Affine Vector Addition Systems with States
LMCS vol.Volume 17, Issue 32021
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
LMCS vol.Volume 17, Issue 32021
Pumping lemmas for weighted automata
LMCS vol.Volume 17, Issue 32021
Foundations of Online Structure Theory II: The Operator Approach
LMCS vol.Volume 17, Issue 32021
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
LMCS vol.Volume 17, Issue 32021
Distribution Bisimilarity via the Power of Convex Algebras
LMCS vol.Volume 17, Issue 32021
Representing Continuous Functions between Greatest Fixed Points of Indexed Containers
LMCS vol.Volume 17, Issue 32021
On p/q-recognisable sets
LMCS vol.Volume 17, Issue 32021
Multimodal Dependent Type Theory
LMCS vol.Volume 17, Issue 32021
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
LMCS vol.Volume 17, Issue 32021
Relating Apartness and Bisimulation
LMCS vol.Volume 17, Issue 32021
A Complete Axiomatisation for Quantifier-Free Separation Logic
LMCS vol.Volume 17, Issue 32021
A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
LMCS vol.Volume 17, Issue 32021
Decision problems for linear recurrences involving arbitrary real numbers
LMCS vol.Volume 17, Issue 32021
Equivalence checking for weak bi-Kleene algebra
LMCS vol.Volume 17, Issue 32021
Successor-Invariant First-Order Logic on Classes of Bounded Degree
LMCS vol.Volume 17, Issue 32021
Ambiguity Hierarchy of Regular Infinite Tree Languages
LMCS vol.Volume 17, Issue 32021
A program for the full axiom of choice
LMCS vol.Volume 17, Issue 32021
The Shapley Value of Tuples in Query Answering
LMCS vol.Volume 17, Issue 32021
Cartesian Difference Categories
LMCS vol.Volume 17, Issue 32021
Modular coinduction up-to for higher-order languages via first-order transition systems
LMCS vol.Volume 17, Issue 32021
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
LMCS vol.Volume 17, Issue 32021
Separation for dot-depth two
LMCS vol.Volume 17, Issue 32021
Modular Path Queries with Arithmetic
LMCS vol.Volume 17, Issue 32021
W-types in setoids
LMCS vol.Volume 17, Issue 32021
Foundations of regular coinduction
LMCS vol.Volume 17, Issue 42021
Causal Consistency for Reversible Multiparty Protocols
LMCS vol.Volume 17, Issue 42021
Modal Functional (Dialectica) Interpretation
LMCS vol.Volume 17, Issue 42021
Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility
LMCS vol.Volume 17, Issue 42021
Internal Parametricity for Cubical Type Theory
LMCS vol.Volume 17, Issue 42021
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
LMCS vol.Volume 17, Issue 42021
Tight Polynomial Bounds for Loop Programs in Polynomial Space
LMCS vol.Volume 17, Issue 42021
Dynamic Complexity of Parity Exists Queries
LMCS vol.Volume 17, Issue 42021
Dagger linear logic for categorical quantum mechanics
LMCS vol.Volume 17, Issue 42021
A theory of transaction parallelism in blockchains
LMCS vol.Volume 17, Issue 42021
Controlling a random population
LMCS vol.Volume 17, Issue 42021
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
LMCS vol.Volume 17, Issue 42021
Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers
LMCS vol.Volume 17, Issue 42021
On Supergraphs Satisfying CMSO Properties
LMCS vol.Volume 17, Issue 42021
A new operational representation of dependencies in Event Structures
LMCS vol.Volume 17, Issue 42021
A Probabilistic Higher-order Fixpoint Logic
LMCS vol.Volume 17, Issue 42021
A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm
LMCS vol.Volume 17, Issue 42021
Efficient Full Higher-Order Unification
LMCS vol.Volume 17, Issue 42021
Expressive Logics for Coinductive Predicates
LMCS vol.Volume 17, Issue 42021
Adaptive Non-linear Pattern Matching Automata
LMCS vol.Volume 17, Issue 42021
Stashing And Parallelization Pentagons
LMCS vol.Volume 17, Issue 42021
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
LMCS vol.Volume 17, Issue 42021
A coalgebraic take on regular and $\omega$-regular behaviours
LMCS vol.Volume 17, Issue 42021
On Higher-Order Probabilistic Subrecursion
LMCS vol.Volume 17, Issue 42021
Parametricity for Nested Types and GADTs
LMCS vol.Volume 17, Issue 42021
Architectures in parametric component-based systems: Qualitative and quantitative modelling
LMCS vol.Volume 17, Issue 42021
202084 篇 · vol.Volume 16, Issue 1
Modalities in homotopy type theory
LMCS vol.Volume 16, Issue 12020引用 109
Completeness of the ZX-Calculus
LMCS vol.Volume 16, Issue 22020引用 49
Dual-Context Calculi for Modal Logic
LMCS vol.Volume 16, Issue 32020引用 42
Language Preservation Problems in Parametric Timed Automata
LMCS vol.Volume 16, Issue 12020引用 41
On the logical complexity of cyclic arithmetic
LMCS vol.Volume 16, Issue 12020引用 38
Constructive Canonicity of Inductive Inequalities
LMCS vol.Volume 16, Issue 32020引用 31
Automata Minimization: a Functorial Approach
LMCS vol.Volume 16, Issue 12020引用 30
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
LMCS vol.Volume 16, Issue 42020引用 30
First-order queries on classes of structures with bounded expansion
LMCS vol.Volume 16, Issue 12020引用 27
A Universal Ordinary Differential Equation
LMCS vol.Volume 16, Issue 12020引用 26
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
LMCS vol.Volume 16, Issue 12020引用 26
Revisiting Call-by-value B\"ohm trees in light of their Taylor expansion
LMCS vol.Volume 16, Issue 32020引用 26
A Categorical Reconstruction of Quantum Theory
LMCS vol.Volume 16, Issue 12020引用 24
Descriptive Complexity for Counting Complexity Classes
LMCS vol.Volume 16, Issue 12020引用 24
Coaxioms: flexible coinductive definitions by inference systems
LMCS vol.Volume 15, Issue 12020引用 24
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
LMCS vol.Volume 16, Issue 42020引用 24
Rule Algebras for Adhesive Categories
LMCS vol.Volume 16, Issue 32020引用 22
Signatures and Induction Principles for Higher Inductive-Inductive Types
LMCS vol.Volume 16, Issue 12020引用 21
Towards a Minimal Stabilizer ZX-calculus
LMCS vol.Volume 16, Issue 42020引用 21
Efficient and Modular Coalgebraic Partition Refinement
LMCS vol.Volume 16, Issue 12020引用 20
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
LMCS vol.Volume 16, Issue 12020引用 20
Directed Homotopy in Non-Positively Curved Spaces
LMCS vol.Volume 16, Issue 32020引用 20
Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems
LMCS vol.Volume 16, Issue 32020引用 19
Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
LMCS vol.Volume 16, Issue 22020引用 17
Probabilistic logics based on Riesz spaces
LMCS vol.Volume 16, Issue 12020引用 15
Consistency of circuit lower bounds with bounded theories
LMCS vol.Volume 16, Issue 22020引用 15
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
LMCS vol.Volume 16, Issue 42020引用 15
Non-idempotent types for classical calculi in natural deduction style
LMCS vol.Volume 16, Issue 12020引用 14
Call-by-name Gradual Type Theory
LMCS vol.Volume 16, Issue 12020引用 14
Field-based Coordination with the Share Operator
LMCS vol.Volume 16, Issue 42020引用 14
A new coinductive confluence proof for infinitary lambda calculus
LMCS vol.Volume 16, Issue 12020引用 13
Towards Races in Linear Logic
LMCS vol.Volume 16, Issue 42020引用 13
Trace Refinement in Labelled Markov Decision Processes
LMCS vol.Volume 16, Issue 22020引用 12
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
LMCS vol.Volume 16, Issue 42020引用 12
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
LMCS vol.Volume 16, Issue 32020引用 11
Reversing Place Transition Nets
LMCS vol.Volume 16, Issue 42020引用 11
Compiling With Classical Connectives
LMCS vol.Volume 16, Issue 32020引用 10
Minimization of visibly pushdown automata is NP-complete
LMCS vol.Volume 16, Issue 12020引用 9
Regular Tree Algebras
LMCS vol.Volume 16, Issue 12020引用 9
Distances between States and between Predicates
LMCS vol.Volume 16, Issue 12020引用 9
Register Games
LMCS vol.Volume 16, Issue 22020引用 9
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
LMCS vol.Volume 16, Issue 22020引用 9
Forward Analysis for WSTS, Part III: Karp-Miller Trees
LMCS vol.Volume 16, Issue 22020引用 9
Verification of Flat FIFO Systems
LMCS vol.Volume 16, Issue 42020引用 9
McShane-Whitney extensions in constructive analysis
LMCS vol.Volume 16, Issue 12020引用 8
On Nominal Syntax and Permutation Fixed Points
LMCS vol.Volume 16, Issue 12020引用 8
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
LMCS vol.Volume 16, Issue 12020引用 8
Collaboration vs. choreography conformance in BPMN
LMCS vol.Volume 16, Issue 42020引用 8
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
LMCS vol.Volume 16, Issue 12020引用 7
Continuous Regular Functions
LMCS vol.Volume 16, Issue 12020引用 7
A syntactic approach to continuity of T-definable functionals
LMCS vol.Volume 16, Issue 12020引用 7
Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
LMCS vol.Volume 16, Issue 12020引用 6
Transfinite Lyndon words
LMCS vol.Volume 16, Issue 42020引用 6
Theory of higher order interpretations and application to Basic Feasible Functions
LMCS vol.Volume 16, Issue 42020引用 6
Decreasing Diagrams for Confluence and Commutation
LMCS vol.Volume 16, Issue 12020引用 5
Continuity of Functional Transducers: A Profinite Study of Rational Functions
LMCS vol.Volume 16, Issue 12020引用 5
Convexity and Order in Probabilistic Call-by-Name FPC
LMCS vol.Volume 16, Issue 42020引用 5
Clause Set Cycles and Induction
LMCS vol.Volume 16, Issue 42020引用 5
On open well-filtered spaces
LMCS vol.Volume 16, Issue 42020引用 5
Recursion Schemes, the MSO Logic, and the U quantifier
LMCS vol.Volume 16, Issue 12020引用 4
Representing Dependencies in Event Structures
LMCS vol.Volume 16, Issue 22020引用 4
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
LMCS vol.Volume 16, Issue 32020引用 4
Undecidability of a weak version of MSO+U
LMCS vol.Volume 16, Issue 12020引用 3
On properties of $B$-terms
LMCS vol.Volume 16, Issue 22020引用 3
Interpolating Between Choices for the Approximate Intermediate Value Theorem
LMCS vol.Volume 16, Issue 32020引用 3
A unifying framework for continuity and complexity in higher types
LMCS vol.Volume 16, Issue 32020引用 3
An extended type system with lambda-typed lambda-expressions
LMCS vol.Volume 16, Issue 42020引用 3
Psi-Calculi Revisited: Connectivity and Compositionality
LMCS vol.Volume 16, Issue 42020引用 3
Tight Polynomial Worst-Case Bounds for Loop Programs
LMCS vol.Volume 16, Issue 22020引用 2
Fixed point combinators as fixed points of higher-order fixed point generators
LMCS vol.Volume 16, Issue 32020引用 2
A limitation on the KPT interpolation
LMCS vol.Volume 16, Issue 32020引用 2
On the Expressive Power of Higher-Order Pushdown Systems
LMCS vol.Volume 16, Issue 32020引用 2
A symmetric protocol to establish service level agreements
LMCS vol.Volume 16, Issue 32020引用 2
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
LMCS Volume 16, Issue 2(Logic for knowledge...)2020引用 1
Reachability for infinite time Turing machines with long tapes
LMCS vol.Volume 16, Issue 22020引用 1
On the incomputability of computable dimension
LMCS vol.Volume 16, Issue 22020引用 1
On Resolving Non-determinism in Choreographies
LMCS vol.Volume 16, Issue 32020引用 1
A Functional (Monadic) Second-Order Theory of Infinite Trees
LMCS vol.Volume 16, Issue 42020引用 1
An operational interpretation of coinductive types
LMCS vol.Volume 16, Issue 12020
Cellular Cohomology in Homotopy Type Theory
LMCS vol.Volume 16, Issue 22020
Playing with Repetitions in Data Words Using Energy Games
LMCS vol.Volume 16, Issue 32020
The Sierpinski Object in the Scott Realizability Topos
LMCS vol.Volume 16, Issue 32020
Gems of Corrado B\"ohm
LMCS vol.Volume 16, Issue 32020
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
LMCS vol.Volume 16, Issue 42020
2019105 篇 · vol.Volume 15, Issue 1
Natural Transformations as Rewrite Rules and Monad Composition
LMCS vol.Volume 15, Issue 12019
Models of Type Theory Based on Moore Paths
LMCS Volume 15, Issue 1(Type theory and constructive...)2019
Probabilistic call by push value
LMCS vol.Volume 15, Issue 12019
Degrees of extensionality in the theory of B\"ohm trees and Sall\'e's conjecture
LMCS vol.Volume 15, Issue 12019
Extending set functors to generalised metric spaces
LMCS vol.Volume 15, Issue 12019
Shrub-depth: Capturing Height of Dense Graphs
LMCS vol.Volume 15, Issue 12019
A sequent calculus for a semi-associative law
LMCS vol.Volume 15, Issue 12019
A Light Modality for Recursion
LMCS vol.Volume 15, Issue 12019
Relative Entailment Among Probabilistic Implications
LMCS vol.Volume 15, Issue 12019
Efficient reduction of nondeterministic automata with application to language inclusion testing
LMCS vol.Volume 15, Issue 12019
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs
LMCS vol.Volume 15, Issue 12019
The Subpower Membership Problem for Finite Algebras with Cube Terms
LMCS vol.Volume 15, Issue 12019
Algebra, coalgebra, and minimization in polynomial differential equations
LMCS vol.Volume 15, Issue 12019
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
LMCS vol.Volume 15, Issue 12019
Sahlqvist via Translation
LMCS vol.Volume 15, Issue 12019
Behavioural equivalences for timed systems
LMCS vol.Volume 15, Issue 12019
Thin Games with Symmetry and Concurrent Hyland-Ong Games
LMCS vol.Volume 15, Issue 12019
On the Incomparability of Cache Algorithms in Terms of Timing Leakage
LMCS vol.Volume 15, Issue 12019
Capturing Polynomial Time using Modular Decomposition
LMCS vol.Volume 15, Issue 12019
Web spaces and worldwide web spaces: topological aspects of domain theory
LMCS vol.Volume 15, Issue 12019
Displayed Categories
LMCS vol.Volume 15, Issue 12019
Shortest paths in one-counter systems
LMCS vol.Volume 15, Issue 12019
The principle of pointfree continuity
LMCS vol.Volume 15, Issue 12019
On the First-Order Complexity of Induced Subgraph Isomorphism
LMCS vol.Volume 15, Issue 12019
Stone-Type Dualities for Separation Logics
LMCS vol.Volume 15, Issue 12019
Initial Semantics for Reduction Rules
LMCS vol.Volume 15, Issue 12019
Topological Scott Convergence Theorem
LMCS vol.Volume 15, Issue 12019
Moschovakis Extension of Represented Spaces
LMCS vol.Volume 15, Issue 12019
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
LMCS vol.Volume 15, Issue 12019
Abstract Hidden Markov Models: a monadic account of quantitative information flow
LMCS vol.Volume 15, Issue 12019
A classical groupoid model for quantum networks
LMCS vol.Volume 15, Issue 12019
On Thin Air Reads: Towards an Event Structures Model of Relaxed Memory
LMCS vol.Volume 15, Issue 12019
Proving Soundness of Extensional Normal-Form Bisimilarities
LMCS vol.Volume 15, Issue 12019
Streamability of nested word transductions
LMCS vol.Volume 15, Issue 22019
Canonical Models and the Complexity of Modal Team Logic
LMCS vol.Volume 15, Issue 22019
Generalised Mermin-type non-locality arguments
LMCS vol.Volume 15, Issue 22019
Validity and Entailment in Modal and Propositional Dependence Logics
LMCS vol.Volume 15, Issue 22019
The height of piecewise-testable languages and the complexity of the logic of subwords
LMCS vol.Volume 15, Issue 22019
Reasoning about effects: from lists to cyber-physical agents
LMCS vol.Volume 15, Issue 22019
All-Path Reachability Logic
LMCS vol.Volume 15, Issue 22019
Feedback computability on Cantor space
LMCS vol.Volume 15, Issue 22019
Polishness of some topologies related to word or tree automata
LMCS vol.Volume 15, Issue 22019
A Denotational Semantics for SPARC TSO
LMCS vol.Volume 15, Issue 22019
A Strategy for Dynamic Programs: Start over and Muddle through
LMCS vol.Volume 15, Issue 22019
Covering and separation for logical fragments with modular predicates
LMCS vol.Volume 15, Issue 22019
On the Expressiveness and Monitoring of Metric Temporal Logic
LMCS vol.Volume 15, Issue 22019
The logical strength of B\"uchi's decidability theorem
LMCS vol.Volume 15, Issue 22019
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
LMCS vol.Volume 15, Issue 22019
Every metric space is separable in function realizability
LMCS vol.Volume 15, Issue 22019
Bisimulations for Delimited-Control Operators
LMCS vol.Volume 15, Issue 22019
An $\omega$-Algebra for Real-Time Energy Problems
LMCS vol.Volume 15, Issue 22019
Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
LMCS vol.Volume 15, Issue 22019
Regular Separability of One Counter Automata
LMCS vol.Volume 15, Issue 22019
Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies
LMCS vol.Volume 15, Issue 22019
Guarded and Unguarded Iteration for Generalized Processes
LMCS vol.Volume 15, Issue 32019
Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
LMCS vol.Volume 15, Issue 32019
Subspace-Invariant AC$^0$ Formulas
LMCS vol.Volume 15, Issue 32019
Logical properties of random graphs from small addable classes
LMCS vol.Volume 15, Issue 32019
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
LMCS vol.Volume 15, Issue 32019
Controlling a population
LMCS vol.Volume 15, Issue 32019
A Forgotten Theory of Proofs ?
LMCS vol.Volume 15, Issue 32019
An efficient algorithm to decide periodicity of $b$-recognisable sets using LSDF convention
LMCS vol.Volume 15, Issue 32019
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors
LMCS vol.Volume 15, Issue 32019
Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
LMCS vol.Volume 15, Issue 32019
Game characterizations and lower cones in the Weihrauch degrees
LMCS vol.Volume 15, Issue 32019
Divergence and unique solution of equations
LMCS vol.Volume 15, Issue 32019
Companions, Causality and Codensity
LMCS vol.Volume 15, Issue 32019
On the commutativity of the powerspace constructions
LMCS vol.Volume 15, Issue 32019
A categorical semantics for causal structure
LMCS vol.Volume 15, Issue 32019
Quantitative Automata under Probabilistic Semantics
LMCS vol.Volume 15, Issue 32019
On the Succinctness of Atoms of Dependency
LMCS vol.Volume 15, Issue 32019
Bounded Quantifier Instantiation for Checking Inductive Invariants
LMCS vol.Volume 15, Issue 32019
Abstract Completion, Formalized
LMCS vol.Volume 15, Issue 32019
Parity Games with Weights
LMCS vol.Volume 15, Issue 32019
Query learning of derived $\omega$-tree languages in polynomial time
LMCS vol.Volume 15, Issue 32019
The Data Complexity of Ontology-Mediated Queries with Closed Predicates
LMCS vol.Volume 15, Issue 32019
Alternating, private alternating, and quantum alternating realtime automata
LMCS vol.Volume 15, Issue 32019
Approximability in the GPAC
LMCS vol.Volume 15, Issue 32019
Interaction Graphs: Exponentials
LMCS vol.Volume 15, Issue 32019
A diagrammatic calculus of fermionic quantum circuits
LMCS vol.Volume 15, Issue 32019
Regular tree languages in low levels of the Wadge Hierarchy
LMCS vol.Volume 15, Issue 32019
Higher-dimensional automata modeling shared-variable systems
LMCS vol.Volume 15, Issue 32019
Definability and Interpolation within Decidable Fixpoint Logics
LMCS vol.Volume 15, Issue 32019
The parameterized space complexity of model-checking bounded variable first-order logic
LMCS vol.Volume 15, Issue 32019
On noncommutative extensions of linear logic
LMCS vol.Volume 15, Issue 32019
Nash Equilibrium and Bisimulation Invariance
LMCS vol.Volume 15, Issue 32019
The Complexity of Flat Freeze LTL
LMCS vol.Volume 15, Issue 32019
Rule Formats for Nominal Process Calculi
LMCS vol.Volume 15, Issue 42019
$\aleph_1$ and the modal $\mu$-calculus
LMCS vol.Volume 15, Issue 42019
On the enumeration of closures and environments with an application to random generation
LMCS vol.Volume 15, Issue 42019
On Free $\omega$-Continuous and Regular Ordered Algebras
LMCS vol.Volume 15, Issue 42019
On completeness and parametricity in the realizability semantics of System F
LMCS vol.Volume 15, Issue 42019
Scalar and Vectorial mu-calculus with Atoms
LMCS vol.Volume 15, Issue 42019
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
LMCS vol.Volume 15, Issue 42019
Lifting Coalgebra Modalities and $\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
LMCS vol.Volume 15, Issue 42019
Flow Logic
LMCS vol.Volume 15, Issue 42019
Computing the Width of Non-deterministic Automata
LMCS vol.Volume 15, Issue 42019
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
LMCS vol.Volume 15, Issue 42019
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
LMCS vol.Volume 15, Issue 42019
A Curry-Howard Approach to Church's Synthesis
LMCS vol.Volume 15, Issue 42019
Definable isomorphism problem
LMCS vol.Volume 15, Issue 42019
On Functions Weakly Computable by Pushdown Petri Nets and Related Systems
LMCS vol.Volume 15, Issue 42019
Concurrency and Probability: Removing Confusion, Compositionally
LMCS vol.Volume 15, Issue 42019
Logical and Algebraic Characterizations of Rational Transductions
LMCS vol.Volume 15, Issue 42019
Relational $\star$-Liftings for Differential Privacy
LMCS vol.Volume 15, Issue 42019
201894 篇 · vol.Volume 14, Issue 1
Compatibility Properties of Synchronously and Asynchronously Communicating Components
LMCS vol.Volume 14, Issue 12018
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
LMCS vol.Volume 14, Issue 12018
Intersection Types for the lambda-mu Calculus
LMCS vol.Volume 14, Issue 12018
Pushing for weighted tree automata
LMCS vol.Volume 14, Issue 12018
Soundness in negotiations
LMCS Volume 14, Issue 1(Concurrency theory)2018
Mending Fences with Self-Invalidation and Self-Downgrade
LMCS vol.Volume 14, Issue 12018
The Ho-Zhao Problem
LMCS vol.Volume 14, Issue 12018
Globular: an online proof assistant for higher-dimensional rewriting
LMCS vol.Volume 14, Issue 12018
A Real-Valued Modal Logic
LMCS vol.Volume 14, Issue 12018
A Load-Buffer Semantics for Total Store Ordering
LMCS vol.Volume 14, Issue 12018
Automated Synthesis of Distributed Self-Stabilizing Protocols
LMCS vol.Volume 14, Issue 12018
Logical relations for coherence of effect subtyping
LMCS vol.Volume 14, Issue 12018
Some model theory for the modal $\mu$-calculus: syntactic characterisations of semantic properties
LMCS vol.Volume 14, Issue 12018
A generalization of a theorem of Hurewicz for quasi-Polish spaces
LMCS vol.Volume 14, Issue 12018
Families of DFAs as Acceptors of $\omega$-Regular Languages
LMCS vol.Volume 14, Issue 12018
Dynamic Causality in Event Structures
LMCS vol.Volume 14, Issue 12018
An enriched view on the extended finitary monad--Lawvere theory correspondence
LMCS vol.Volume 14, Issue 12018
Mixin Composition Synthesis based on Intersection Types
LMCS vol.Volume 14, Issue 12018
A coalgebraic treatment of conditional transition systems with upgrades
LMCS vol.Volume 14, Issue 12018
A Proof of Stavi's Theorem
LMCS vol.Volume 14, Issue 12018
Weighted omega-Restricted One Counter Automata
LMCS vol.Volume 14, Issue 12018
Model Theory and Proof Theory of Coalgebraic Predicate Logic
LMCS vol.Volume 14, Issue 12018
The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$
LMCS vol.Volume 14, Issue 12018
A survey on difference hierarchies of regular languages
LMCS vol.Volume 14, Issue 12018
Proof-Relevant Logical Relations for Name Generation
LMCS vol.Volume 14, Issue 12018
Monadic Second Order Logic with Measure and Category Quantifiers
LMCS Volume 14, Issue 2(Automata and logic)2018
Closed Sets and Operators thereon: Representations, Computability and Complexity
LMCS vol.Volume 14, Issue 22018
Some observations on the logical foundations of inductive theorem proving
LMCS Volume 13, Issue 4(Automated deduction)2018
Van Kampen Colimits and Path Uniqueness
LMCS vol.Volume 14, Issue 22018
A note on first-order spectra with binary relations
LMCS vol.Volume 14, Issue 22018
$n$-permutability and linear Datalog implies symmetric Datalog
LMCS vol.Volume 14, Issue 22018
Domains via approximation operators
LMCS vol.Volume 14, Issue 22018
Study of Behaviours via Visitable Paths
LMCS vol.Volume 14, Issue 22018
Analyzing Timed Systems Using Tree Automata
LMCS vol.Volume 14, Issue 22018
A Categorical Approach to Syntactic Monoids
LMCS vol.Volume 14, Issue 22018
Uniqueness of directed complete posets based on Scott closed set lattices
LMCS vol.Volume 14, Issue 22018
A Dichotomy for First-Order Reducts of Unary Structures
LMCS vol.Volume 14, Issue 22018
Weihrauch-completeness for layerwise computability
LMCS vol.Volume 14, Issue 22018
The language of Stratified Sets is confluent and strongly normalising
LMCS vol.Volume 14, Issue 22018
Computability in Basic Quantum Mechanics
LMCS vol.Volume 14, Issue 22018
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
LMCS vol.Volume 14, Issue 22018
On Sub-Propositional Fragments of Modal Logic
LMCS vol.Volume 14, Issue 22018
An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus
LMCS vol.Volume 14, Issue 22018
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
LMCS vol.Volume 14, Issue 22018
Extensional Semantics for Higher-Order Logic Programs with Negation
LMCS vol.Volume 14, Issue 22018
The intuitionistic temporal logic of dynamical systems
LMCS vol.Volume 14, Issue 32018
The Covering Problem
LMCS vol.Volume 14, Issue 32018
Relational Graph Models at Work
LMCS vol.Volume 14, Issue 32018
A Ghost at $\omega_1$
LMCS vol.Volume 14, Issue 32018
A topological interpretation of three Leibnizian principles within the functional extensions
LMCS vol.Volume 14, Issue 32018
Unification and Logarithmic Space
LMCS vol.Volume 14, Issue 32018
Inhabitation for Non-idempotent Intersection Types
LMCS vol.Volume 14, Issue 32018
Infinite and Bi-infinite Words with Decidable Monadic Theories
LMCS vol.Volume 14, Issue 32018
The recursion hierarchy for PCF is strict
LMCS vol.Volume 14, Issue 32018
Trees from Functions as Processes
LMCS vol.Volume 14, Issue 32018
Unguarded Recursion on Coinductive Resumptions
LMCS vol.Volume 14, Issue 32018
Ologisms
LMCS vol.Volume 14, Issue 32018
A Galois connection between Turing jumps and limits
LMCS Volume 14, Issue 3(Computability and logic)2018
Universal Constructions for (Co)Relations: categories, monoidal categories, and props
LMCS Volume 14, Issue 3(Categorical models and logic)2018
Java & Lambda: a Featherweight Story
LMCS vol.Volume 14, Issue 32018
Coalgebraic Infinite Traces and Kleisli Simulations
LMCS vol.Volume 14, Issue 32018
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
LMCS vol.Volume 14, Issue 32018
Categorical structures for type theory in univalent foundations
LMCS vol.Volume 14, Issue 32018
Coalgebraic Behavioral Metrics
LMCS vol.Volume 14, Issue 32018
Free complete Wasserstein algebras
LMCS vol.Volume 14, Issue 32018
On Interpolation and Symbol Elimination in Theory Extensions
LMCS vol.Volume 14, Issue 32018
Defining Recursive Predicates in Graph Orders
LMCS vol.Volume 14, Issue 32018
Proper Functors and Fixed Points for Finite Behaviour
LMCS vol.Volume 14, Issue 32018
Event Structures for Petri nets with Persistence
LMCS vol.Volume 14, Issue 32018
Equational Reasonings in Wireless Network Gossip Protocols
LMCS vol.Volume 14, Issue 32018
Applicable Mathematics in a Minimal Computational Theory of Sets
LMCS vol.Volume 14, Issue 42018
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
LMCS Volume 14, Issue 4(Modal and temporal logics)2018
Local Redundancy in SAT: Generalizations of Blocked Clauses
LMCS vol.Volume 14, Issue 42018
On the algebraic structure of Weihrauch degrees
LMCS Volume 14, Issue 4(Computability and logic)2018
The Complexity of Bisimulation and Simulation on Finite Systems
LMCS vol.Volume 14, Issue 42018
Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently
LMCS vol.Volume 14, Issue 42018
Codensity Lifting of Monads and its Dual
LMCS vol.Volume 14, Issue 42018
Extension by Conservation. Sikorski's Theorem
LMCS vol.Volume 14, Issue 42018
The Complexity of All-switches Strategy Improvement
LMCS vol.Volume 14, Issue 42018
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
LMCS vol.Volume 14, Issue 42018
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
LMCS vol.Volume 14, Issue 42018
Reasoning with Finite Sets and Cardinality Constraints in SMT
LMCS vol.Volume 14, Issue 42018
Affine Sessions
LMCS vol.Volume 14, Issue 42018
Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata
LMCS vol.Volume 14, Issue 42018
Separating regular languages with two quantifier alternations
LMCS vol.Volume 14, Issue 42018
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
LMCS vol.Volume 14, Issue 42018
Termination in Convex Sets of Distributions
LMCS vol.Volume 14, Issue 42018
Inducing syntactic cut-elimination for indexed nested sequents
LMCS vol.Volume 14, Issue 42018
Reasoning About Bounds in Weighted Transition Systems
LMCS vol.Volume 14, Issue 42018
Taylor expansion in linear logic is invertible
LMCS vol.Volume 14, Issue 42018
One-way definability of two-way word transducers
LMCS vol.Volume 14, Issue 42018
Model Checking Flat Freeze LTL on One-Counter Automata
LMCS vol.Volume 14, Issue 42018
Subsumption Algorithms for Three-Valued Geometric Resolution
LMCS vol.Volume 14, Issue 42018
Axioms for Modelling Cubical Type Theory in a Topos
LMCS vol.Volume 14, Issue 42018
2017123 篇 · vol.Volume 13, Issue 4
Matching Logic
LMCS vol.Volume 13, Issue 42017引用 83
Encoding Monomorphic and Polymorphic Types
LMCS vol.Volume 12, Issue 42017引用 73
Dynamic Choreographies: Theory And Implementation
LMCS vol.Volume 13, Issue 22017引用 65
Model Checking Spatial Logics for Closure Spaces
LMCS vol.Volume 12, Issue 42017引用 60
Reasoning about Strategies: on the Satisfiability Problem
LMCS vol.Volume 13, Issue 12017引用 53
Games and Strategies as Event Structures
LMCS vol.Volume 13, Issue 32017引用 53
Deriving Probability Density Functions from Probabilistic Functional Programs
LMCS vol.Volume 13, Issue 22017引用 50
Notions of Anonymous Existence in Martin-L\"of Type Theory
LMCS vol.Volume 13, Issue 12017引用 49
Automata for Specifying and Orchestrating Service Contracts
LMCS vol.Volume 12, Issue 42017引用 46
Coalgebraic trace semantics via forgetful logics
LMCS vol.Volume 12, Issue 42017引用 43
A Recipe for State-and-Effect Triangles
LMCS vol.Volume 13, Issue 22017引用 43
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
LMCS vol.Volume 13, Issue 12017引用 41
Honesty by Typing
LMCS vol.Volume 12, Issue 42017引用 40
Feasible Interpolation for QBF Resolution Calculi
LMCS vol.Volume 13, Issue 22017引用 40
The Independence of Markov's Principle in Type Theory
LMCS vol.Volume 13, Issue 32017引用 39
Normalisation by Evaluation for Type Theory, in Type Theory
LMCS vol.Volume 13, Issue 42017引用 36
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
LMCS vol.Volume 12, Issue 42017引用 35
How Much Lookahead is Needed to Win Infinite Games?
LMCS vol.Volume 12, Issue 32017引用 33
Bottom-up automata on data trees and vertical XPath
LMCS vol.Volume 13, Issue 42017引用 32
Modular, Fully-abstract Compilation by Approximate Back-translation
LMCS vol.Volume 13, Issue 42017引用 31
Tracing where IoT data are collected and aggregated
LMCS vol.Volume 13, Issue 32017引用 25
Well Behaved Transition Systems
LMCS vol.Volume 13, Issue 32017引用 24
The Data Complexity of Description Logic Ontologies
LMCS vol.Volume 13, Issue 42017引用 23
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
LMCS vol.Volume 13, Issue 42017引用 23
Games for Bisimulations and Abstraction
LMCS vol.Volume 13, Issue 42017引用 20
A Framework for Certified Self-Stabilization
LMCS vol.Volume 13, Issue 42017引用 20
A Few Notes on Formal Balls
LMCS vol.Volume 13, Issue 42017引用 20
Reachability Analysis of Innermost Rewriting
LMCS vol.Volume 13, Issue 12017引用 19
On the Mints Hierarchy in First-Order Intuitionistic Logic
LMCS vol.Volume 12, Issue 42017引用 17
Complexity theory for spaces of integrable functions
LMCS vol.Volume 13, Issue 32017引用 17
Coherent Presentations of Monoidal Categories
LMCS vol.Volume 13, Issue 32017引用 16
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
LMCS vol.Volume 13, Issue 42017引用 16
Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
LMCS vol.Volume 12, Issue 32017引用 15
On linear rewriting systems for Boolean logic and some applications to proof theory
LMCS vol.Volume 12, Issue 42017引用 15
Path Checking for MTL and TPTL over Data Words
LMCS vol.Volume 13, Issue 32017引用 15
On the Compositionality of Quantitative Information Flow
LMCS vol.Volume 13, Issue 32017引用 14
Hyper Normalisation and Conditioning for Discrete Probability Distributions
LMCS vol.Volume 13, Issue 32017引用 14
Edit Distance for Pushdown Automata
LMCS vol.Volume 13, Issue 32017引用 14
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
LMCS vol.Volume 13, Issue 32017引用 14
Privacy by typing in the $\pi$-calculus
LMCS vol.Volume 13, Issue 42017引用 13
$\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
LMCS vol.Volume 13, Issue 32017引用 12
Typing weak MSOL properties
LMCS vol.Volume 13, Issue 12017引用 11
Idempotents in intensional type theory
LMCS vol.Volume 12, Issue 32017引用 11
Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs
LMCS vol.Volume 13, Issue 32017引用 11
Minimisation of Multiplicity Tree Automata
LMCS vol.Volume 13, Issue 12017引用 10
A Reduced Semantics for Deciding Trace Equivalence
LMCS vol.Volume 13, Issue 22017引用 10
Disjoint-union partial algebras
LMCS vol.Volume 13, Issue 22017引用 10
On-the-Fly Computation of Bisimilarity Distances
LMCS vol.Volume 13, Issue 22017引用 10
Petri Automata
LMCS vol.Volume 13, Issue 32017引用 10
Timed Session Types
LMCS vol.Volume 13, Issue 42017引用 10
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
LMCS vol.Volume 12, Issue 32017引用 9
Towards an Algebra for Cascade Effects
LMCS vol.Volume 13, Issue 32017引用 9
Aspects of algebraic Algebras
LMCS vol.Volume 13, Issue 32017引用 9
Multiactive objects and their applications
LMCS vol.Volume 13, Issue 42017引用 9
The Rice-Shapiro theorem in Computable Topology
LMCS vol.Volume 13, Issue 42017引用 9
A Note on the Topologicity of Quantale-Valued Topological Spaces
LMCS vol.Volume 13, Issue 32017引用 8
Some remarks on connectors and groupoids in Goursat categories
LMCS Volume 13, Issue 3(Algebraic methods)2017引用 8
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
LMCS vol.Volume 13, Issue 42017引用 8
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
LMCS vol.Volume 12, Issue 32017引用 7
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
LMCS vol.Volume 12, Issue 42017引用 7
Build your own clarithmetic II: Soundness
LMCS vol.Volume 12, Issue 32017引用 7
On Sessions and Infinite Data
LMCS vol.Volume 13, Issue 22017引用 7
Algebraic and logical descriptions of generalized trees
LMCS vol.Volume 13, Issue 32017引用 7
Build your own clarithmetic I: Setup and completeness
LMCS vol.Volume 12, Issue 32017引用 6
An expressive completeness theorem for coalgebraic modal mu-calculi
LMCS vol.Volume 13, Issue 22017引用 6
The Universal Process
LMCS vol.Volume 13, Issue 42017引用 6
Discovering, quantifying, and displaying attacks
LMCS vol.Volume 12, Issue 42017引用 5
Hanf numbers via accessible images
LMCS vol.Volume 13, Issue 22017引用 5
Complexity Hierarchies and Higher-order Cons-free Term Rewriting
LMCS vol.Volume 13, Issue 32017引用 5
The Algebraic Intersection Type Unification Problem
LMCS vol.Volume 13, Issue 32017引用 5
Boundedness in languages of infinite words
LMCS vol.Volume 13, Issue 42017引用 5
Bounded degree and planar spectra
LMCS vol.Volume 13, Issue 42017引用 5
An intensionally fully-abstract sheaf model for $\pi$ (expanded version)
LMCS vol.Volume 13, Issue 42017引用 5
From Logic to Biology via Physics: a survey
LMCS vol.Volume 13, Issue 42017引用 5
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
LMCS vol.Volume 13, Issue 42017引用 5
Borel-Piecewise Continuous Reducibility for Uniformization Problems
LMCS 12(4)2017引用 4
Certifying Confluence Proofs via Relative Termination and Rule Labeling
LMCS vol.Volume 13, Issue 22017引用 4
Focusing in Orthologic
LMCS vol.Volume 13, Issue 32017引用 4
First Order Theories of Some Lattices of Open Sets
LMCS vol.Volume 13, Issue 32017引用 4
Localic completion of uniform spaces
LMCS vol.Volume 13, Issue 32017引用 4
A new characterization of complete Heyting and co-Heyting algebras
LMCS vol.Volume 13, Issue 32017引用 4
Formal Languages, Formally and Coinductively
LMCS vol.Volume 13, Issue 32017引用 4
Statman's Hierarchy Theorem
LMCS vol.Volume 13, Issue 42017引用 4
Block structure vs scope extrusion: between innocence and omniscience
LMCS vol.Volume 12, Issue 32017引用 3
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
LMCS vol.Volume 12, Issue 42017引用 3
Dualized Simple Type Theory
LMCS vol.Volume 12, Issue 32017引用 3
Retractability, games and orchestrators for session contracts
LMCS vol.Volume 13, Issue 32017引用 3
On some categorical-algebraic conditions in S-protomodular categories
LMCS vol.Volume 13, Issue 32017引用 3
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
LMCS vol.Volume 13, Issue 32017引用 3
Lax orthogonal factorisations in monad-quantale-enriched categories
LMCS vol.Volume 13, Issue 32017引用 3
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
LMCS vol.Volume 13, Issue 42017引用 3
Faithful (meta-)encodings of programmable strategies into term rewriting systems
LMCS vol.Volume 13, Issue 42017引用 3
Z-stability in Constructive Analysis
LMCS vol.Volume 12, Issue 32017引用 2
Subcomputable Schnorr Randomness
LMCS vol.Volume 13, Issue 22017引用 2
A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
LMCS vol.Volume 13, Issue 32017引用 2
A bound for Dickson's lemma
LMCS vol.Volume 13, Issue 32017引用 2
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
LMCS vol.Volume 13, Issue 42017引用 2
Data optimizations for constraint automata
LMCS vol.Volume 12, Issue 32017引用 1
Some theorems on passing from local to global presence of properties of functions
LMCS vol.Volume 12, Issue 42017引用 1
Inter-procedural Two-Variable Herbrand Equalities
LMCS vol.Volume 13, Issue 22017引用 1
Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
LMCS vol.Volume 13, Issue 42017引用 1
Grilliot's trick in Nonstandard Analysis
LMCS vol.Volume 13, Issue 42017引用 1
Logical compactness and constraint satisfaction problems
LMCS vol.Volume 13, Issue 12017
Mixed powerdomains for probability and nondeterminism
LMCS vol.Volume 13, Issue 12017
A feasible interpolation for random resolution
LMCS vol.Volume 13, Issue 12017
Stream Differential Equations: Specification Formats and Solution Methods
LMCS vol.Volume 13, Issue 12017
Unprovability of circuit upper bounds in Cook's theory PV
LMCS vol.Volume 13, Issue 12017
Complexity of Conditional Term Rewriting
LMCS vol.Volume 13, Issue 12017
Lineal: A linear-algebraic Lambda-calculus
LMCS vol.Volume 13, Issue 12017
Sequential decision problems, dependent types and generic solutions
LMCS vol.Volume 13, Issue 12017
Termination of Cycle Rewriting by Transformation and Matrix Interpretation
LMCS vol.Volume 13, Issue 12017
A Coordination Language for Databases
LMCS vol.Volume 13, Issue 12017
Multiparty Session Actors
LMCS vol.Volume 13, Issue 12017
Existence of strongly proper dyadic subbases
LMCS vol.Volume 13, Issue 12017
Solving finite-domain linear constraints in presence of the $\texttt{alldifferent}$
LMCS vol.Volume 12, Issue 32017
Hopf and Lie algebras in semi-additive Varieties
LMCS Volume 13, Issue 2(Coalgebraic methods)2017
On the Preciseness of Subtyping in Session Types
LMCS vol.Volume 13, Issue 22017
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
LMCS vol.Volume 13, Issue 22017
Characterization theorem for the conditionally computable real functions
LMCS vol.Volume 13, Issue 32017
Improved Algorithms for Parity and Streett objectives
LMCS vol.Volume 13, Issue 32017
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
LMCS vol.Volume 13, Issue 32017
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees
LMCS vol.Volume 13, Issue 42017
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
LMCS vol.Volume 13, Issue 42017