Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Incarnation in Ludics and maximal cliques of paths
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
Modelling Probabilistic Wireless Networks
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
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