Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
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
Online Article RSS Article -
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
-
Automated Synthesis of Distributed Self-Stabilizing Protocols
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logical relations for coherence of effect subtyping
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Real-Valued Modal Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Load-Buffer Semantics for Total Store Ordering
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Globular: an online proof assistant for higher-dimensional rewriting
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Ho-Zhao Problem
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Soundness in negotiations
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Mending Fences with Self-Invalidation and Self-Downgrade
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pushing for weighted tree automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coinductive Foundations of Infinitary Rewriting and Infinitary Equational Logic
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text