Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs

Subjects: “…Computer Science & Information Science…”
Get full text

Normalizing the Taylor expansion of non-deterministic {lambda}-terms, via parallel reduction of resource vectors

Subjects: “…Computer Science & Information Science…”
Get full text

An efficient algorithm to decide periodicity of $b$-recognisable sets using LSDF convention

Subjects: “…Computer Science & Information Science…”
Get full text

Controlling a population

Subjects: “…Computer Science & Information Science…”
Get full text

A Forgotten Theory of Proofs ?

Subjects: “…Computer Science & Information Science…”
Get full text

Coherence for Frobenius pseudomonoids and the geometry of linear proofs

Subjects: “…Computer Science & Information Science…”
Get full text

Logical properties of random graphs from small addable classes

Subjects: “…Computer Science & Information Science…”
Get full text

Subspace-Invariant AC$^0$ Formulas

Subjects: “…Computer Science & Information Science…”
Get full text

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs

Subjects: “…Computer Science & Information Science…”
Get full text

Guarded and Unguarded Iteration for Generalized Processes

Subjects: “…Computer Science & Information Science…”
Get full text

Elementary Quotient Completions, Church's Thesis, and Partioned Assemblies

Subjects: “…Computer Science & Information Science…”
Get full text

Regular Separability of One Counter Automata

Subjects: “…Computer Science & Information Science…”
Get full text

Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic

Subjects: “…Computer Science & Information Science…”
Get full text

Bisimulations for Delimited-Control Operators

Subjects: “…Computer Science & Information Science…”
Get full text

An $omega$-Algebra for Real-Time Energy Problems

Subjects: “…Computer Science & Information Science…”
Get full text

The logical strength of Büchi's decidability theorem

Subjects: “…Computer Science & Information Science…”
Get full text

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics

Subjects: “…Computer Science & Information Science…”
Get full text

Every metric space is separable in function realizability

Subjects: “…Computer Science & Information Science…”
Get full text

On the Expressiveness and Monitoring of Metric Temporal Logic

Subjects: “…Computer Science & Information Science…”
Get full text

A Denotational Semantics for SPARC TSO

Subjects: “…Computer Science & Information Science…”
Get full text