Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Infinite Probabilistic Databases
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
A tier-based typed programming language characterizing Feasible Functionals
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proof Theory of Riesz Spaces and Modal Riesz Spaces
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reachability and liveness in parametric timed automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Fixed Points Theorems for Non-Transitive Relations
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Duality for powerset coalgebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Canonicity and homotopy canonicity for cubical type theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Residuality and Learning for Nondeterministic Nominal Automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Optimizing tree decompositions in MSO
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verifying liquidity of recursive Bitcoin contracts
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Regular matching problems for infinite trees
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quotients of Bounded Natural Functors
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantifying over Boolean announcements
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Nielsen-Schreier Theorem in Homotopy Type Theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bounded Reachability Problems are Decidable in FIFO Machines
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
An extensible equality checking algorithm for dependent type theories
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Axiomatisability of Parallel Composition
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A duality theoretic view on limits of finite structures: Extended version
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text