Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Undecidable First-Order Theories of Affine Geometries
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
Nominal Coalgebraic Data Types with Applications to Lambda Calculus
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compact manifolds with computable boundaries
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Epistemic Updates on Algebras
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Expansions of MSO by cardinality relations
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Approximation systems for functions in topological and in metric spaces
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Avoiding Shared Clocks in Networks of Timed Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Products of effective topological spaces and a uniformly computable Tychonoff Theorem
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Definability of linear equation systems over groups and rings
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Priced Timed Petri Nets
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
All Linear-Time Congruences for Familiar Operators
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Polynomial Path Orders
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relation lifting, with an application to the many-valued cover modality
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Satisfiability Games for Branching-Time Logics
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text