Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Some observations on the logical foundations of inductive theorem proving
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Monadic Second Order Logic with Measure and Category Quantifiers
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Closed Sets and Operators thereon: Representations, Computability and Complexity
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Proof-Relevant Logical Relations for Name Generation
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A survey on difference hierarchies of regular languages
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Model Theory and Proof Theory of Coalgebraic Predicate Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Weighted omega-Restricted One Counter Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Proof of Stavi's Theorem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A coalgebraic treatment of conditional transition systems with upgrades
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Mixin Composition Synthesis based on Intersection Types
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Dynamic Causality in Event Structures
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Families of DFAs as Acceptors of $omega$-Regular Languages
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
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 & IT…”
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 & IT…”
Get full text
-
Automated Synthesis of Distributed Self-Stabilizing Protocols
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
Logical relations for coherence of effect subtyping
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Real-Valued Modal Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text
-
A Load-Buffer Semantics for Total Store Ordering
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & IT…”
Get full text