Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Domains via approximation operators
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
Closed Sets and Operators thereon: Representations, Computability and Complexity
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
-
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weighted omega-Restricted One Counter Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Proof of Stavi's Theorem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A coalgebraic treatment of conditional transition systems with upgrades
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
An enriched view on the extended finitary monad--Lawvere theory correspondence
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Mixin Composition Synthesis based on Intersection Types
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Dynamic Causality in Event Structures
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Families of DFAs as Acceptors of $omega$-Regular Languages
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A generalization of a theorem of Hurewicz for quasi-Polish spaces
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text