Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Typing weak MSOL properties
Published in Logical Methods in Computer Science (2017)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
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
-
Reasoning about Data Repetitions with Counter Systems
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
No solvable lambda-value term left behind
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Largest Respectful Function
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Using higher-order contracts to model session types
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weighted Pushdown Systems with Indexed Weight Domains
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two-variable Logic with Counting and a Linear Order
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text