Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
The intuitionistic temporal logic of dynamical systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Relational Graph Models at Work
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
The Covering Problem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Extensional Semantics for Higher-Order Logic Programs with Negation
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
On Sub-Propositional Fragments of Modal Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Computability in Basic Quantum Mechanics
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
The language of Stratified Sets is confluent and strongly normalising
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Dichotomy for First-Order Reducts of Unary Structures
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Weihrauch-completeness for layerwise computability
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
A Categorical Approach to Syntactic Monoids
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Analyzing Timed Systems Using Tree Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Study of Behaviours via Visitable Paths
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Domains via approximation operators
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Van Kampen Colimits and Path Uniqueness
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A note on first-order spectra with binary relations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
$n$-permutability and linear Datalog implies symmetric Datalog
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text