Full Text Available
Access Full Text at Repository
Search Results - "Science"
-
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
A Finite Axiomatisation of Finite-State Automata Using String Diagrams
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Good-for-games $omega$-Pushdown Automata
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A modular construction of type theories
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Countdown games, and simulation on (succinct) one-counter nets
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Learning of Structurally Unambiguous Probabilistic Grammars
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
A proof system for graph (non)-isomorphism verification
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Completeness of Nominal PROPs
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Concurrent Process Histories and Resource Transducers
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebras for Bisimulation of Weighted Automata over Semirings
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deconfined Global Types for Asynchronous Sessions
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Stream processors and comodels
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Multiparty testing preorders
Published in Logical Methods in Computer Science (2023)Subjects: “…Computer Science & Information Science…”
Get full text
-
Converse extensionality and apartness
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A theory of Automated Market Makers in DeFi
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Linear equations for unordered data vectors in $[D]^kto{}Z^d$
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coalgebraic Geometric Logic: Basic Theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algebraic coherent confluence and higher globular Kleene algebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text