Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version)
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
From Logic to Biology via Physics: a survey
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
A Few Notes on Formal Balls
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Games for Bisimulations and Abstraction
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Framework for Certified Self-Stabilization
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Faithful (meta-)encodings of programmable strategies into term rewriting systems
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Statman's Hierarchy Theorem
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Universal Process
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multiactive objects and their applications
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
An intensionally fully-abstract sheaf model for $pi$ (expanded version)
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Data Complexity of Description Logic Ontologies
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounded degree and planar spectra
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bottom-up automata on data trees and vertical XPath
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Boundedness in languages of infinite words
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modular, Fully-abstract Compilation by Approximate Back-translation
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text