Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Globular: an online proof assistant for higher-dimensional rewriting
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
The Ho-Zhao Problem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Soundness in negotiations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Mending Fences with Self-Invalidation and Self-Downgrade
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Pushing for weighted tree automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Intersection Types for the lambda-mu Calculus
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Compatibility Properties of Synchronously and Asynchronously Communicating Components
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
The Rice-Shapiro theorem in Computable Topology
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Matching Logic
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Privacy by typing in the $pi$-calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Timed Session Types
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Grilliot's trick in Nonstandard Analysis
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
From Logic to Biology via Physics: a survey
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text
-
A Few Notes on Formal Balls
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & IT…”
Get full text