Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Indexed Induction and Coinduction, Fibrationally
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Modal Interface Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Regular Cost Functions, Part I: Logic and Algebra over Words
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Well-Pointed Coalgebras
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Graph Logics with Rational Relations
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lower Bound on Weights of Large Degree Threshold Functions
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Markov two-components processes
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Admissibility in Finitely Generated Quasivarieties
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tree-Automatic Well-Founded Trees
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Total Representations
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two Variable vs. Linear Temporal Logic in Model Checking and Games
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Infinite sequential Nash equilibrium
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
The degree structure of Weihrauch-reducibility
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decidable Classes of Tree Automata Mixing Local and Global Constraints Modulo Flat Theories
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Polylogarithmic Cuts in Models of V^0
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text