Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Automated Synthesis of Distributed Self-Stabilizing Protocols
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Logical relations for coherence of effect subtyping
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Real-Valued Modal Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Load-Buffer Semantics for Total Store Ordering
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Globular: an online proof assistant for higher-dimensional rewriting
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Ho-Zhao Problem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Soundness in negotiations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Mending Fences with Self-Invalidation and Self-Downgrade
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pushing for weighted tree automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Intersection Types for the lambda-mu Calculus
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compatibility Properties of Synchronously and Asynchronously Communicating Components
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Rice-Shapiro theorem in Computable Topology
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
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 & Information Science…”
Get full text
-
Matching Logic
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Privacy by typing in the $pi$-calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Timed Session Types
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Grilliot's trick in Nonstandard Analysis
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text