Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Epistemic Updates on Algebras
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Expansions of MSO by cardinality relations
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Approximation systems for functions in topological and in metric spaces
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Avoiding Shared Clocks in Networks of Timed Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Definability of linear equation systems over groups and rings
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Priced Timed Petri Nets
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
All Linear-Time Congruences for Familiar Operators
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Polynomial Path Orders
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relation lifting, with an application to the many-valued cover modality
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Satisfiability Games for Branching-Time Logics
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Incarnation in Ludics and maximal cliques of paths
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Implicit Resolution
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Step-Indexed Relational Reasoning for Countable Nondeterminism
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Non-idempotent intersection types and strong normalisation
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lower Bounds for Existential Pebble Games and k-Consistency Tests
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Alternating Turing machines for inductive languages
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text