Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
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
Online Article RSS Article -
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
-
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
-
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
-
Domains via approximation operators
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Van Kampen Colimits and Path Uniqueness
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A note on first-order spectra with binary relations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
$n$-permutability and linear Datalog implies symmetric Datalog
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Some observations on the logical foundations of inductive theorem proving
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Monadic Second Order Logic with Measure and Category Quantifiers
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proof-Relevant Logical Relations for Name Generation
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A survey on difference hierarchies of regular languages
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The sequential functionals of type $(iota rightarrow iota)^n rightarrow iota$ form a dcpo for all $n in Bbb N$
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text