| Nominal Equational Problems
|
2021 |
Ayala-Rincon, Mauricio |
| Interpolation and Amalgamation for Arrays with MaxDiff
|
2021 |
Ghilardi, Silvio |
| Parametricity for Primitive Nested Types
|
2021 |
Johann, Patricia |
| Simple Stochastic Games with Almost-Sure Energy-Parity Objectives arein NPand coNP ’5 + + +
|
2021 |
Mayr, Richard |
| Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
|
2021 |
Balasubramanian, A. R. |
| Fixpoint Theory - Upside Down
|
2021 |
Baldan, Paolo |
| Combining Semilattices and Semimodules
|
2021 |
Bonchi, Filippo |
| One-way Resynchronizability of Word Transducers
|
2021 |
Bose, Sougata |
| Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logie
|
2021 |
Faggian, Claudia |
| Running Time Analysis of Broadcast Consensus Protocols
|
2021 |
Czerner, Philipp |
| Adjoint Reactive GUI Programming
|
2021 |
Graulund, Christian Uldal |
| Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
|
2021 |
Klin, Bartek |
| Learning Pomset Automata
|
2021 |
Heerdt, Gerco van |
| “Most of” Leads to Undecidability: Failure of Adding Frequencies to LTL
|
2021 |
Bednarczyk, Bartosz |
| Focused Proof-search in the Logic of Bunched Implications
|
2021 |
Gheorghiu, Alexander |
| On the Expressiveness of Büchi Arithmetic
|
2021 |
Haase, Christoph |
| Nondeterministic Syntactic Complexity
|
2021 |
Myers, Robert S. R. |
| A General Semantic Construction of Dependent Refinement Type Systems Categorically
|
2021 |
Kura, Satoshi |
| The Structure of Sum-Over-Paths, its Consequences, and Completeness for Completeness for Clifford
|
2021 |
Vilmart, Renaud |
| Constructing a Universe for the Setoid Model
|
2021 |
Altenkirch, Thorsten |
Tag hinzufügen