Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Block structure vs scope extrusion: between innocence and omniscience
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Dualized Simple Type Theory
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Dynamic Choreographies: Theory And Implementation
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Existence of strongly proper dyadic subbases
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multiparty Session Actors
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Minimisation of Multiplicity Tree Automata
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Notions of Anonymous Existence in Martin-Löf Type Theory
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Typing weak MSOL properties
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reachability Analysis of Innermost Rewriting
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Termination of Cycle Rewriting by Transformation and Matrix Interpretation
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Coordination Language for Databases
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reasoning about Strategies: on the Satisfiability Problem
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lineal: A linear-algebraic Lambda-calculus
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sequential decision problems, dependent types and generic solutions
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Complexity of Conditional Term Rewriting
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
A feasible interpolation for random resolution
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unprovability of circuit upper bounds in Cook's theory PV
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stream Differential Equations: Specification Formats and Solution Methods
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Mixed powerdomains for probability and nondeterminism
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logical compactness and constraint satisfaction problems
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text