Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
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
Online Article RSS Article -
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
-
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
-
Undecidable First-Order Theories of Affine Geometries
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Strong Turing Degrees for Additive BSS RAM's
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Herbrand-Confluence
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Handling Algebraic Effects
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modeling and Verification of Infinite Systems with Resources
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ordered Models of the Lambda Calculus
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text