Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Inhabitation for Non-idempotent Intersection Types
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Unification and Logarithmic Space
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A topological interpretation of three Leibnizian principles within the functional extensions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Ghost at $omega_1$
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The intuitionistic temporal logic of dynamical systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relational Graph Models at Work
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Covering Problem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extensional Semantics for Higher-Order Logic Programs with Negation
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
An estimation for the lengths of reduction sequences of the $lambdamurhotheta$-calculus
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Sub-Propositional Fragments of Modal Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computability in Basic Quantum Mechanics
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The language of Stratified Sets is confluent and strongly normalising
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Dichotomy for First-Order Reducts of Unary Structures
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weihrauch-completeness for layerwise computability
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Uniqueness of directed complete posets based on Scott closed set lattices
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Categorical Approach to Syntactic Monoids
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Analyzing Timed Systems Using Tree Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Study of Behaviours via Visitable Paths
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text