Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Semi-continuous Sized Types and Termination
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Normalization of IZF with Replacement
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Normalisation Control in Deep Inference via Atomic Flows
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Application of the Feferman-Vaught Theorem to Automata and Logics for Words over an Infinite Alphabet
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebraic Pattern Matching in Join Calculus
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Independence and concurrent separation logic
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generative Unbinding of Names
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Call-by-value Termination in the Untyped lambda-calculus
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lambda-RBAC: Programming with Role-Based Access Control
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
Are there Hilbert-style Pure Type Systems?
Published in Logical Methods in Computer Science (2008)Subjects: “…Computer Science & Information Science…”
Get full text
-
A proof of strong normalisation using domain theory
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Generic Trace Semantics via Coinduction
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Church Synthesis Problem with Parameters
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coinductive Proof Principles for Stochastic Processes
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decisive Markov Chains
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Characterisation of First-Order Constraint Satisfaction Problems
Published in Logical Methods in Computer Science (2007)Subjects: “…Computer Science & Information Science…”
Get full text