Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Modelling Probabilistic Wireless Networks
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Randomness extraction and asymptotic Hamming distance
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unary negation
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Static Analysis Framework for Livelock Freedom in CSP
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exploring the Boundaries of Monad Tensorability on Set
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bases as Coalgebras
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reachability under Contextual Locking
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automatic functions, linear time and learning
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Connector algebras for C/E and P/T nets' interactions
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Induction in Algebra: a First Case Study
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Characterising Distributability
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic Characterizations of Context-Free Languages
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Pebble Games, Proof Complexity, and Time-Space Trade-offs
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reachability Problem for Weak Multi-Pushdown Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Measure Transformer Semantics for Bayesian Machine Learning
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linearizability with Ownership Transfer
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebraic Structure of Combined Traces
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Universal codes of the natural numbers
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text