Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Towards 3-Dimensional Rewriting Theory
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Modular Complexity Analysis for Term Rewriting
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear usage of state
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Lower Bounds for Simple Graphs
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Universal First-Order Logic is Superfluous for NL, P, NP and coNP
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Proof of Kamp's theorem
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Markov Decision Processes with Multiple Long-run Average Objectives
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Parameterized Synthesis
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Size-Change Termination Principle for Constructor Based Languages
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exact and Approximate Determinization of Discounted-Sum Automata
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
The First-Order Theory of Ground Tree Rewrite Graphs
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Separation Property for wB- and wS-regular Languages
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Knowledge Spaces and the Completeness of Learning Strategies
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computational Complexity of Smooth Differential Equations
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear Temporal Logic for Regular Cost Functions
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Monadic second-order definable graph orderings
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
About the range property for H
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
The role of logical interpretations in program development
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text