Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Theory of higher order interpretations and application to Basic Feasible Functions
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
An extended type system with lambda-typed lambda-expressions
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Clause Set Cycles and Induction
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Convexity and Order in Probabilistic Call-by-Name FPC
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Transfinite Lyndon words
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Collaboration vs. choreography conformance in BPMN
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Functional (Monadic) Second-Order Theory of Infinite Trees
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reversing Place Transition Nets
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verification of Flat FIFO Systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Of Cores: A Partial-Exploration Framework for Markov Decision Processes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Termination Problem for Probabilistic Higher-Order Recursive Programs
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Field-based Coordination with the Share Operator
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A symmetric protocol to establish service level agreements
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Resolving Non-determinism in Choreographies
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A unifying framework for continuity and complexity in higher types
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Gems of Corrado Böhm
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compiling With Classical Connectives
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text