Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Coalgebraic Characterizations of Context-Free Languages
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Pebble Games, Proof Complexity, and Time-Space Trade-offs
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reachability Problem for Weak Multi-Pushdown Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Measure Transformer Semantics for Bayesian Machine Learning
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linearizability with Ownership Transfer
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computability of Probability Distributions and Characteristic Functions
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebraic Structure of Combined Traces
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Universal codes of the natural numbers
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Indexed Induction and Coinduction, Fibrationally
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computably regular topological spaces
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modal Interface Automata
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Regular Cost Functions, Part I: Logic and Algebra over Words
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Well-Pointed Coalgebras
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Graph Logics with Rational Relations
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lower Bound on Weights of Large Degree Threshold Functions
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Markov two-components processes
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unifying the Linear Time-Branching Time Spectrum of Process Semantics
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text
-
Admissibility in Finitely Generated Quasivarieties
Published in Logical Methods in Computer Science (2013)Subjects: “…Computer Science & Information Science…”
Get full text