LIPIcs, Volume 152, CSL'20, Complete Volume (Englisch)
Freier Zugriff
- Neue Suche nach: Fernández, Maribel
- Neue Suche nach: Muscholl, Anca
- Neue Suche nach: Fernández, Maribel
- Neue Suche nach: Muscholl, Anca
- Neue Suche nach: Fernández, Maribel
2020
-
ISBN:
-
ISSN:
- Konferenzband / Elektronische Ressource
-
Titel:LIPIcs, Volume 152, CSL'20, Complete Volume
-
Beteiligte:Fernández, Maribel ( Autor:in ) / Muscholl, Anca ( Autor:in , Herausgeber:in ) / Fernández, Maribel ( Herausgeber:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Erscheinungsdatum:22.01.2020
-
Format / Umfang:618 pages , 19421967 byte
-
Anmerkungen:LIPIcs, Vol. 152, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), pages 0-0
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Konferenzband
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Verification of Security Protocols (Invited Talk)Cortier, Véronique et al. | 2020
- 2
-
Symmetric Computation (Invited Talk)Dawar, Anuj et al. | 2020
- 3
-
Solving Word Equations (And Other Unification Problems) by Recompression (Invited Talk)Jeż, Artur et al. | 2020
- 4
-
Strong Bisimulation for Control Operators (Invited Talk)Kesner, Delia / Bonelli, Eduardo / Viso, Andrés et al. | 2020
- 5
-
From Classical Proof Theory to P versus NP: a Guide to Bounded Theories (Invited Talk)Tzameret, Iddo et al. | 2020
- 6
-
Generalized Connectives for Multiplicative Linear LogicAcclavio, Matteo / Maieli, Roberto et al. | 2020
- 7
-
On Free Completely Iterative AlgebrasAdámek, Jiří et al. | 2020
- 8
-
Strongly Unambiguous Büchi Automata Are Polynomially Predictable With Membership QueriesAngluin, Dana / Antonopoulos, Timos / Fisman, Dana et al. | 2020
- 9
-
A Robust Class of Linear Recurrence SequencesBarloy, Corentin / Fijalkow, Nathanaël / Lhote, Nathan / Mazowiecki, Filip et al. | 2020
- 10
-
Coverage and Vacuity in Network Formation GamesBielous, Gili / Kupferman, Orna et al. | 2020
- 11
-
A Complete Axiomatisation of a Fragment of Language AlgebraBrunet, Paul et al. | 2020
- 12
-
Proof Complexity of Systems of (Non-Deterministic) Decision Trees and Branching ProgramsBuss, Sam / Das, Anupam / Knop, Alexander et al. | 2020
- 13
-
Internal Parametricity for Cubical Type TheoryCavallo, Evan / Harper, Robert et al. | 2020
- 14
-
Unifying Cubical Models of Univalent Type TheoryCavallo, Evan / Mörtberg, Anders / Swan, Andrew W et al. | 2020
- 15
-
FO-Definability of Shrub-DepthChen, Yijia / Flum, Jörg et al. | 2020
- 16
-
Taylor expansion for Call-By-Push-ValueChouquet, Jules / Tasson, Christine et al. | 2020
- 17
-
Tangent Categories from the Coalgebras of Differential CategoriesCockett, Robin / Lemay, Jean-Simon Pacaud / Lucyshyn-Wright, Rory B. B. et al. | 2020
- 18
-
Reverse Derivative CategoriesCockett, Robin / Cruttwell, Geoffrey / Gallagher, Jonathan / Lemay, Jean-Simon Pacaud / MacAdam, Benjamin / Plotkin, Gordon / Pronk, Dorette et al. | 2020
- 19
-
Internal Calculi for Separation LogicsDemri, Stéphane / Lozes, Etienne / Mansutti, Alessio et al. | 2020
- 20
-
Monitoring Event FrequenciesFerrère, Thomas / Henzinger, Thomas A. / Kragl, Bernhard et al. | 2020
- 21
-
Automatic Equivalence Structures of Polynomial GrowthGanardi, Moses / Khoussainov, Bakhadyr et al. | 2020
- 22
-
Guarded Teams: The Horizontally Guarded CaseGrädel, Erich / Otto, Martin et al. | 2020
- 23
-
Order-Invariant First-Order Logic over Hollow TreesGrange, Julien / Segoufin, Luc et al. | 2020
- 24
-
Glueability of Resource Proof-Structures: Inverting the Taylor ExpansionGuerrieri, Giulio / Pellissier, Luc / Tortora de Falco, Lorenzo et al. | 2020
- 25
-
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team SemanticsHoelzel, Matthias / Wilke, Richard et al. | 2020
- 26
-
Expressive Logics for Coinductive PredicatesKupke, Clemens / Rot, Jurriaan et al. | 2020
- 27
-
State Space Reduction For Parity AutomataLöding, Christof / Tollkötter, Andreas et al. | 2020
- 28
-
Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested SequentsLyon, Tim / Tiu, Alwen / Goré, Rajeev / Clouston, Ranald et al. | 2020
- 29
-
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple FormulasMascle, Corto / Zimmermann, Martin et al. | 2020
- 30
-
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability ModelsMiquey, Étienne et al. | 2020
- 31
-
Separation and Renaming in Nominal SetsMoerman, Joshua / Rot, Jurriaan et al. | 2020
- 32
-
Parity Games: Another View on Lehtinen’s AlgorithmParys, Paweł et al. | 2020
- 33
-
De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set TheoryPassmann, Robert et al. | 2020
- 34
-
Computing Haar MeasuresPauly, Arno / Seon, Dongseong / Ziegler, Martin et al. | 2020
- 35
-
The Call-By-Value Lambda-Calculus with Generalized ApplicationsEspírito Santo, José et al. | 2020
- 36
-
Dynamic Complexity Meets Parameterised AlgorithmsSchmidt, Jonas / Schwentick, Thomas / Vortmeier, Nils / Zeume, Thomas / Kokkinis, Ioannis et al. | 2020
- 37
-
Dynamic Complexity of Parity Exists QueriesVortmeier, Nils / Zeume, Thomas et al. | 2020