Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Simulations for Event-Clock Automata
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Satisfiability of Local First-Order Logics with Data
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
$text{TT}^{Box}_{mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Transpension: The Right Adjoint to the Pi-type
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
An implicit function theorem for the stream calculus
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Metric Temporal Logic for Continuous Stochastic Processes
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear-time logics -- a coalgebraic perspective
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Branch-Well-Structured Transition Systems and Extensions
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Addition and Differentiation of ZX-diagrams
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Pebble-Relation Comonad in Finite Model Theory
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Tools for Completeness of Kleene Algebra with Hypotheses
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Executable First-Order Queries in the Logic of Information Flows
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Encodability Criteria for Quantum Based Systems
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Strong Bisimulation for a Classical Term Calculus
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inapproximability of Unique Games in Fixed-Point Logic with Counting
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
Boolean proportions
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Published in Logical Methods in Computer Science (2024)Subjects: “…Computer Science & Information Science…”
Get full text