Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Mutually Testing Processes
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Aspect-oriented linearizability proofs
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
High-level Counterexamples for Probabilistic Automata
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modelling MAC-Layer Communications in Wireless Systems
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Domain Representations Induced by Dyadic Subbases
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ranking Templates for Linear Loops
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bialgebraic Semantics for Logic Programming
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Positive Inductive-Recursive Definitions
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weak Cat-Operads
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Complexity of Problems of Commutative Grammars
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extracting verified decision procedures: DPLL and Resolution
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the relative proof complexity of deep inference via atomic flows
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Monads need not be endofunctors
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Program Logics for Homogeneous Generative Run-Time Meta-Programming
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Permission-Based Separation Logic for Multithreaded Java Programs
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Hoare logic for the coinductive trace-based big-step semantics of While
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stochastic Parity Games on Lossy Channel Systems
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text