Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
First Order Theories of Some Lattices of Open Sets
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Retractability, games and orchestrators for session contracts
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Some remarks on connectors and groupoids in Goursat categories
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Note on the Topologicity of Quantale-Valued Topological Spaces
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Independence of Markov's Principle in Type Theory
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Algebraic Intersection Type Unification Problem
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Complexity Hierarchies and Higher-order Cons-free Term Rewriting
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebraic and logical descriptions of generalized trees
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Focusing in Orthologic
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tracing where IoT data are collected and aggregated
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Aspects of algebraic Algebras
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Characterization theorem for the conditionally computable real functions
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
$mathsf{LLF}_{cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Towards an Algebra for Cascade Effects
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deriving Probability Density Functions from Probabilistic Functional Programs
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
An expressive completeness theorem for coalgebraic modal mu-calculi
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
On-the-Fly Computation of Bisimilarity Distances
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Preciseness of Subtyping in Session Types
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text