Duality in Formal Languages and Logic - a unifying approach to complexity and semantics | DuaLL | Project | Results | H2020 | CORDIS

Automata minimization: a functorial approach

Autoren: Thomas Colcombet, Daniela Petrisan
Veröffentlicht in: Log. Methods Comput. Sci., Ausgabe 16(1), 2020, Seite(n) 1:1-1:32, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-16(1:32)2020

Negative Translations of Orthomodular Lattices and Their Logic

Autoren: Wesley Fussner, Gavin St. John
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 343, 2021, Seite(n) 37-49, ISSN 2075-2180
Herausgeber: Open Publishing Association
DOI: 10.4204/eptcs.343.3

Free Kleene algebras with domain

Autoren: Brett McLean
Veröffentlicht in: Journal of Logical and Algebraic Methods in Programming, Ausgabe 117, 2020, Seite(n) 100606, ISSN 2352-2208
Herausgeber: Elsevier
DOI: 10.1016/j.jlamp.2020.100606

A categorical duality for algebras of partial functions

Autoren: Brett McLean
Veröffentlicht in: Journal of Pure and Applied Algebra, Ausgabe 225, no. 11, 2021, Seite(n) 106755, ISSN 0022-4049
Herausgeber: Elsevier BV
DOI: 10.1016/j.jpaa.2021.106755

Coextensive varieties via Central Elements

Autoren: Botero, W. J. Zuluaga
Veröffentlicht in: Algebra Universalis, Ausgabe 82, 2021, Seite(n) 50, ISSN 0002-5240
Herausgeber: Birkhauser Verlag
DOI: 10.1007/s00012-021-00745-2

Quantifiers on languages and codensity monads

Autoren: Mai Gehrke, Daniela Petrişan, Luca Reggio
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe 30/10, 2020, Seite(n) 1054-1088, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129521000074

Priestley duality for MV-algebras and beyond

Autoren: Wesley Fussner, Mai Gehrke, Samuel J. van Gool, Vincenzo Marra
Veröffentlicht in: Forum Mathematicum, Ausgabe 33/4, 2021, Seite(n) 899-921, ISSN 0933-7741
Herausgeber: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/forum-2020-0115

Poset Products as Relational Models

Autoren: Wesley Fussner
Veröffentlicht in: Studia Logica, 2021, ISSN 0039-3215
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s11225-021-09956-z

Checking Admissibility Using Natural Dualities

Autoren: Leonardo M. Cabrer, Benjamin Freisberg, George Metcalfe, Hilary A. Priestley
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 20/1, 2019, Seite(n) 1-19, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3275115

Codensity, profiniteness and algebras of semiring-valued measures

Autoren: Luca Reggio
Veröffentlicht in: Journal of Pure and Applied Algebra, Ausgabe 224/1, 2020, Seite(n) 181-205, ISSN 0022-4049
Herausgeber: Elsevier BV
DOI: 10.1016/j.jpaa.2019.05.002

Residuation algebras with functional duals

Autoren: Wesley Fussner, Alessandra Palmigiano
Veröffentlicht in: Algebra universalis, Ausgabe 80/4, 2019, ISSN 0002-5240
Herausgeber: Birkhauser Verlag
DOI: 10.1007/s00012-019-0613-5

A characterisation of the category of compact Hausdorff spaces

Autoren: Vincenzo Marra, Luca Reggio
Veröffentlicht in: Theory and Applications of Categories, Ausgabe vol. 35, no. 51, 2020, Seite(n) 1871-1906, ISSN 1201-561X
Herausgeber: R. Rosebrugh

Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations

Autoren: Kurusch Ebrahimi-Fard, Loïc Foissy, Joachim Kock, Frédéric Patras
Veröffentlicht in: Advances in Mathematics, Ausgabe 369, 2020, Seite(n) 107170, ISSN 0001-8708
Herausgeber: Academic Press
DOI: 10.1016/j.aim.2020.107170

Some reducibility properties for pseudovarieties of the form DRH

Autoren: Célia Borlido
Veröffentlicht in: Communications in Algebra, Ausgabe 46/4, 2017, Seite(n) 1813-1830, ISSN 0092-7872
Herausgeber: Marcel Dekker Inc.
DOI: 10.1080/00927872.2017.1360328

Checking Admissibility Using Natural Dualities

Autoren: Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
Veröffentlicht in: ACM Transactions of Computer Systems, Ausgabe 1, 2018, ISSN 0734-2071
Herausgeber: Association for Computing Machinary, Inc.

An open mapping theorem for finitely copresented Esakia spaces

Autoren: Samuel J. v. Gool, Luca Reggio
Veröffentlicht in: Topology and its Applications, Ausgabe 240, 2018, Seite(n) 69-77, ISSN 0166-8641
Herausgeber: Elsevier BV
DOI: 10.1016/j.topol.2018.03.006

Newton series, coinductively: a comparative study of composition

Autoren: HENNING BASOLD, HELLE HVID HANSEN, JEAN-ÉRIC PIN, JAN RUTTEN
Veröffentlicht in: Mathematical Structures in Computer Science, 2017, Seite(n) 1-29, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129517000159

A survey on difference hierarchies of regular languages

Autoren: Carton, Olivier; Perrin, Dominique; Pin, Jean-Éric
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 1, 2018, Seite(n) vol 14, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/LMCS-14(1:24)2018

The κ -word problem over DRH

Autoren: Célia Borlido
Veröffentlicht in: Theoretical Computer Science, Ausgabe 702, 2017, Seite(n) 1-22, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2017.08.008

Canonical extensions: an algebraic approach to Stone duality

Autoren: Mai Gehrke
Veröffentlicht in: Algebra universalis, Ausgabe 79/3, 2018, ISSN 0002-5240
Herausgeber: Birkhauser Verlag
DOI: 10.1007/s00012-018-0544-6

An Isbell duality theorem for type refinement systems

Autoren: PAUL-ANDRÉ MELLIÈS, NOAM ZEILBERGER
Veröffentlicht in: Mathematical Structures in Computer Science, Ausgabe 28/06, 2018, Seite(n) 736-774, ISSN 0960-1295
Herausgeber: Cambridge University Press
DOI: 10.1017/s0960129517000068

Uniform Birkhoff

Autoren: Mai Gehrke, Michael Pinsker
Veröffentlicht in: Journal of Pure and Applied Algebra, Ausgabe 222/5, 2018, Seite(n) 1242-1250, ISSN 0022-4049
Herausgeber: Elsevier BV
DOI: 10.1016/j.jpaa.2017.06.016

A general account of coinduction up-to

Autoren: Filippo Bonchi, Daniela Petrişan, Damien Pous, Jurriaan Rot
Veröffentlicht in: Acta Informatica, Ausgabe 54/2, 2017, Seite(n) 127-190, ISSN 0001-5903
Herausgeber: Springer Verlag
DOI: 10.1007/s00236-016-0271-4

Stone duality, topological algebra, and recognition

Autoren: Mai Gehrke
Veröffentlicht in: Journal of Pure and Applied Algebra, Ausgabe 220/7, 2016, Seite(n) 2711-2747, ISSN 0022-4049
Herausgeber: Elsevier BV
DOI: 10.1016/j.jpaa.2015.12.007

On uniformly continuous functions for some profinite topologies

Autoren: Jean-Éric Pin, Pedro V. Silva
Veröffentlicht in: Theoretical Computer Science, Ausgabe 658, 2017, Seite(n) 246-262, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2016.06.013

Commutative positive varieties of languages

Autoren: Jorge Almeida, Zoltan Ésik, Jean-Éric Pin
Veröffentlicht in: Acta Cybernetica, Ausgabe 23, 2017, ISSN 0324-721X
Herausgeber: Szegedi Tudomanyegyetern/University of Szeged
DOI: 10.14232/actacyb.23.1.2017.7

Ultrafilters on words for a fragment of logic

Autoren: Mai Gehrke, Andreas Krebs, Jean-Éric Pin
Veröffentlicht in: Theoretical Computer Science, Ausgabe 610, 2016, Seite(n) 37-58, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2015.08.007

Classification of categories with matrices of coefficient 2 and order n

Autoren: Samer Allouch, Carlos Simpson
Veröffentlicht in: Communications in Algebra, Ausgabe 46/7, 2018, Seite(n) 3079-3091, ISSN 0092-7872
Herausgeber: Marcel Dekker Inc.
DOI: 10.1080/00927872.2017.1404081

Complete κ-reducibility of pseudovarieties of the form DRH

Autoren: Jorge Almeida, Célia Borlido
Veröffentlicht in: International Journal of Algebra and Computation, Ausgabe 27/02, 2017, Seite(n) 189-235, ISSN 0218-1967
Herausgeber: World Scientific Publishing Co
DOI: 10.1142/S0218196717500096

Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)

Autoren: Vincenzo Marra, Luca Reggio
Veröffentlicht in: Advances in Mathematics, Ausgabe 307, 2017, Seite(n) 253-287, ISSN 0001-8708
Herausgeber: Academic Press
DOI: 10.1016/j.aim.2016.11.012

Languages and formations generated by D4 and Q8

Autoren: Jean-Éric Pin, Xaro Soler-Escrivà
Veröffentlicht in: Theoretical Computer Science, Ausgabe 800, 2019, Seite(n) 155-172, ISSN 0304-3975
Herausgeber: Elsevier BV
DOI: 10.1016/j.tcs.2019.10.023

Categorical combinatorics of scheduling and synchronization in game semantics

Autoren: Paul-André Mellies
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 3/POPL, 2019, Seite(n) 1-30, ISSN 2475-1421
Herausgeber: ACM
DOI: 10.1145/3290336

Dialogue Categories and Chiralities

Autoren: Paul-André Melliès
Veröffentlicht in: Publications of the Research Institute for Mathematical Sciences, Ausgabe 52/4, 2016, Seite(n) 359-412, ISSN 0034-5318
Herausgeber: Kyoto Daigaku
DOI: 10.4171/prims/185

Difference hierarchies and duality with an application to formal languages

Autoren: Célia Borlido, Mai Gehrke, Andreas Krebs, Howard Straubing
Veröffentlicht in: Topology and its Applications, Ausgabe 273, 2020, Seite(n) 106975, ISSN 0166-8641
Herausgeber: Elsevier BV
DOI: 10.1016/j.topol.2019.106975

Sheaves and duality

Autoren: Mai Gehrke, Samuel J. v. Gool
Veröffentlicht in: Journal of Pure and Applied Algebra, Ausgabe 222/8, 2018, Seite(n) 2164-2180, ISSN 0022-4049
Herausgeber: Elsevier BV
DOI: 10.1016/j.jpaa.2017.09.004

Germinal theories in Łukasiewicz logic

Autoren: Leonardo Manuel Cabrer, Daniele Mundici
Veröffentlicht in: Annals of Pure and Applied Logic, Ausgabe 168/5, 2017, Seite(n) 1132-1151, ISSN 0168-0072
Herausgeber: Elsevier BV
DOI: 10.1016/j.apal.2016.11.009

Canonical extensions of locally compact frames

Autoren: Tomáš Jakl
Veröffentlicht in: Topology and its Applications, Ausgabe 273, 2020, Seite(n) 106976, ISSN 0166-8641
Herausgeber: Elsevier BV
DOI: 10.1016/j.topol.2019.106976

Unambiguous separators for tropical tree automata

Autoren: Thomas Colcombet, and Sylvain Lombardy
Veröffentlicht in: Christophe Paul and Markus Bläser, editors, 37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Ausgabe March 10-13, 2020, Montpellier, France, volume 154 of LIPIcs, 2020, Seite(n) 32:1–32:13
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2020.32

Classification of finite semigroups and categories using computational methods

Autoren: Fussner, Wesley; Ghannoum, Najwa; Jakl, Tomás; Simpson, Carlos
Veröffentlicht in: https://hal.archives-ouvertes.fr/hal-02972963, Ausgabe 1, 2020
Herausgeber: Conference on Artificial Intelligence and Theorem Proving

Mining counterexamples for wide-signature algebras with an Isabelle server

Autoren: Fussner, Wesley; Shminke, Boris
Veröffentlicht in: 6th Conference on Artificial Intelligence and Theorem Proving, Sep 2021, Aussois, France, Ausgabe 1, 2021
Herausgeber: 6th Conference on Artificial Intelligence and Theorem Proving

Learning automata and transducers: A categorical approach

Autoren: Thomas Colcombet, Daniela Petrisan, and Riccardo Stabile
Veröffentlicht in: Christel Baier and Jean Goubault-Larrecq, editors, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ausgabe January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference), volume 183 of LIPIcs, 2021, Seite(n) 15:1–15:17
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.csl.2021.15

Comprehension and Quotient Structures in the Language of 2-Categories

Autoren: Paul-André Melliès; Nicolas Rolland
Veröffentlicht in: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Ausgabe 167, 2020, Seite(n) 6:1--6:18, ISBN 978-3-95977-155-9
Herausgeber: Schloss Dagstuhl, Leibniz-Zentrum fur Informatik
DOI: 10.4230/lipics.fscd.2020.6

Cost automata, safe schemes, and downward closures

Autoren: David Barozzini, Lorenzo Clemente, Thomas Colcombet, and Pawel Parys
Veröffentlicht in: Artur Czumaj, Anuj Dawar, and Emanuela Merelli, editors, 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Ausgabe July 8-11, 2020, Saarbrücken, Germany (Virtual Conference), volume 168 of LIPIcs, 2020, Seite(n) 109:1–109:18
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2020.109

INEQUALITIES FOR ONE-STEP PRODUCTS

Autoren: Branco , Mário; Pin , Jean-Eric
Veröffentlicht in: International Conference on Developments in Language Theory (DLT), Ausgabe LNCS, volume 11088, 2018, Seite(n) 156-168
Herausgeber: Springer
DOI: 10.1007/978-3-319-98654-8_13

Up-To Techniques for Behavioural Metrics via Fibrations

Autoren: Bonchi, Filippo; König, Barbara; Petrisan, Daniela
Veröffentlicht in: 29th International Conference on Concurrency Theory (CONCUR 2018), Ausgabe 1, 2018
Herausgeber: Dagstuhl

Automata in the Category of Glued Vector Spaces

Autoren: Colcombet, Thomas; Petrişan, Daniela
Veröffentlicht in: 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), Ausgabe 1, 2017, Seite(n) 52:1-14
Herausgeber: Dagstuhl

Automata Minimization: a Functorial Approach

Autoren: Colcombet, Thomas; Petrişan, Daniela
Veröffentlicht in: 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ausgabe 1, 2017
Herausgeber: Dagstuhl

Quantifiers on languages and codensity monads

Autoren: Mai Gehrke, Daniela Petrisan, Luca Reggio
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-12, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/LICS.2017.8005140

Stone Duality and the Substitution Principle

Autoren: Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs
Veröffentlicht in: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
Herausgeber: Dagstuhl
DOI: 10.4230/LIPIcs.CSL.2017.13

Logic and regular cost functions

Autoren: Thomas Colcombet
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-4, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/LICS.2017.8005061

The Schützenberger product for syntactic spaces

Autoren: Mai Gehrke, Daniela Petrisan, Luca Reggio
Veröffentlicht in: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Ausgabe 55, 2016, Seite(n) 112:1--112:14, ISBN 978-3-95977-013-2
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.ICALP.2016.112

A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine

Autoren: Paul-André Melliès, Noam Zeilberger
Veröffentlicht in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Seite(n) 555-564, ISBN 9781-450343916
Herausgeber: ACM Press
DOI: 10.1145/2933575.2934525

Duality in Computer Science

Autoren: Mai Gehrke
Veröffentlicht in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Seite(n) 12-26, ISBN 9781-450343916
Herausgeber: ACM Press
DOI: 10.1145/2933575.2934575

Quantifiers on languages and codensity monads

Autoren: Mai Gehrke, Daniela Petrisan, and Luca Reggio
Veröffentlicht in: Proceedings of the Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017
Herausgeber: ACM

Higher-order parity automata

Autoren: Paul-Andre Mellies
Veröffentlicht in: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, Seite(n) 1-12, ISBN 978-1-5090-3018-7
Herausgeber: IEEE
DOI: 10.1109/lics.2017.8005077

Dual space of a lattice as the completion of a Pervin space

Autoren: Jean-Éric Pin
Veröffentlicht in: Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings, Ausgabe 10226, 2017, ISBN 978-3-319-57417-2
Herausgeber: Springer
DOI: 10.1007/978-3-319-57418-92

On Reachability Problems for Low-Dimensional Matrix Semigroups

Autoren: Colcombet, Thomas; Worrell, James; Ouaknine, Joel; Semukhin, Pavel
Veröffentlicht in: "46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.44⟩", Ausgabe 23, 2019
Herausgeber: LIPICS
DOI: 10.4230/LIPIcs.ICALP.2019.44

Optimal transformations of games and automata using muller conditions

Autoren: Antonio Casares, Thomas Colcombet, and Nathanaël Fijalkow
Veröffentlicht in: Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Ausgabe July 12- 16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, 2021, Seite(n) 123:1–123:14
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021

A complexity approach to tree algebras: the bounded case

Autoren: Thomas Colcombet, Arthur Jaquard
Veröffentlicht in: Nikhil Bansal, Emanuela Merelli, and James Worrell, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Ausgabe July 12-16, 2021, Glasgow, Scotland (Virtual Conference), volume 198 of LIPIcs, 2021, Seite(n) 127:1–127:13
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.127

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Autoren: Gehrke, Mai; Jakl, Tomas; Reggio, Luca
Veröffentlicht in: arxiv, Ausgabe 1, 2020
Herausgeber: arxiv

Learning proofs for the classification of nilpotent semigroups

Autoren: Simpson, Carlos
Veröffentlicht in: https://hal.archives-ouvertes.fr/hal-03251094, Ausgabe 1, 2021
Herausgeber: HAL archives

Automata and minimization

Autoren: Thomas Colcombet, Daniela Petrisan
Veröffentlicht in: ACM SIGLOG News, Ausgabe 4(2), April 2017, 2017, Seite(n) 3-27
Herausgeber: ACM

Stone duality for languages and complexity

Autoren: Mai Gehrke, Andreas Krebs
Veröffentlicht in: ACM SIGLOG News, Ausgabe 4(2), April 2017, 2017, Seite(n) 28-53
Herausgeber: ACM

Difference-restriction algebras of partial functions with operators: discrete duality and completion

Autoren: Borlido, Célia; McLean, Brett
Veröffentlicht in: arxiv, Ausgabe 1, 2020
Herausgeber: arxiv

Chapter 7: Open Problems About Regular Languages, 35 Years Later

Autoren: Jean-Éric Pin
Veröffentlicht in: The Role of Theory in Computer Science: Essays Dedicated to Janusz Brzozowski, 2017, Seite(n) 153-175, ISBN 978-981-3148-19-2
Herausgeber: WORLD SCIENTIFIC
DOI: 10.1142/9789813148208_0007

Chapter 8: The Dot-Depth Hierarchy, 45 Years Later

Autoren: Jean-Éric Pin
Veröffentlicht in: The Role of Theory in Computer Science, 2017, Seite(n) 177-201
Herausgeber: WORLD SCIENTIFIC
DOI: 10.1142/9789813148208_0008

Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games

Autoren: Thomas Colcombet, Nathanaël Fijalkow
Veröffentlicht in: Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Ausgabe 11425, 2019, Seite(n) 1-26, ISBN 978-3-030-17126-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-17127-8_1

A Duality Theoretic View on Limits of Finite Structures

Autoren: Mai Gehrke, Tomáš Jakl, Luca Reggio
Veröffentlicht in: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Ausgabe 12077, 2020, Seite(n) 299-318, ISBN 978-3-030-45230-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-45231-5_16

Controlling a Random Population

Autoren: Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann
Veröffentlicht in: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Ausgabe 12077, 2020, Seite(n) 119-135, ISBN 978-3-030-45230-8
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-45231-5_7

Quantificateurs et dualité

Autoren: Reggio, Luca
Veröffentlicht in: https://tel.archives-ouvertes.fr/tel-02459132, Ausgabe 2, 2018
Herausgeber: Université Paris Diderot

Duality in Formal Languages and Logic - a unifying approach to complexity and semantics

Veröffentlichungen

Diese Seite teilen

Herunterladen