Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Globally Governed Session Semantics
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
A Robust Class of Data Languages and an Application to Learning
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantified CTL: Expressiveness and Complexity
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounded variation and the strength of Helly's selection theorem
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
State of Büchi Complementation
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Cost Preserving Bisimulations for Probabilistic Automata
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algorithmic randomness for Doob's martingale convergence theorem in continuous time
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Effect System for Algebraic Effects and Handlers
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stochastic Timed Automata
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decidability Problems for Actor Systems
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Power of Priority Channel Systems
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the strictness of the quantifier structure hierarchy in first-order logic
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Connection Matrices and the Definability of Graph Parameters
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Full abstraction for fair testing in CCS (expanded version)
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Constructing categories and setoids of setoids in type theory
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Improving legibility of natural deduction proofs is not trivial
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text