default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 777
Volume 777, July 2019
- Giorgio Ausiello, Lila Kari, Grzegorz Rozenberg, Donald Sannella
, Paul G. Spirakis, Pierre-Louis Curien:
Preface. 1-2 - Luca Aceto, Dario Della Monica, Ignacio Fábregas, Anna Ingólfsdóttir:
When are prime formulae characteristic? 3-31 - Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith:
An axiomatization of information flow measures. 32-54 - Marcella Anselmo, Dora Giammarresi, Maria Madonia:
Full sets of pictures to encode pictures. 55-68 - Nicholas R. Beaton, Mathilde Bouvel, Veronica Guerrini, Simone Rinaldi:
Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers. 69-92 - Valérie Berthé, Paulina Cecchi Bernales:
Balancedness and coboundaries in symbolic systems. 93-110 - Benjamin Blanchette, Christian Choffrut, Christophe Reutenauer:
Quasi-automatic semigroups. 111-120 - Janusz A. Brzozowski, Sylvie Davies, Abhishek Madan:
State complexity of pattern matching in regular languages. 121-131 - Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Symbolic computation of differential equivalences. 132-154 - Jing Chen, Silvio Micali:
Algorand: A secure and efficient distributed ledger. 155-183 - Thierry Coquand:
Canonicity and normalization for dependent type theory. 184-191 - Jürgen Dassow:
On the orbit of closure-involution operations - The case of formal languages. 192-203 - Nachum Dershowitz, Jean-Pierre Jouannaud:
Drags: A compositional algebraic framework for graph rewriting. 204-231 - Francesco Dolce, Antonio Restivo, Christophe Reutenauer:
On generalized Lyndon words. 232-242 - Riccardo Dondi, Giancarlo Mauri, Italo Zoppis:
On the tractability of finding disjoint clubs in a network. 243-251 - Manfred Droste, Sven Dziadek, Werner Kuich:
Weighted simple reset pushdown automata. 252-259 - Jörg Endrullis, Jan Willem Klop:
Braids via term rewriting. 260-295 - Erwin Engeler:
Neural algebra on "how does the brain think?". 296-307 - Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis:
Recursive stochastic games with positive rewards. 308-328 - Andrea Frosini, Laurent Vuillon:
Tomographic reconstruction of 2-convex polyominoes using dual Horn clauses. 329-337 - Yan Gerard:
Regular switching components. 338-355 - Oscar H. Ibarra, Ian McQuillan, Bala Ravikumar:
On counting functions and slenderness of languages. 356-378 - Jarkko Kari, Etienne Moutot:
Nivat's conjecture and pattern complexity in algebraic subshifts. 379-386 - Nobuya Kimoto, Ken Komiya, Kenzo Fujimoto, Satoshi Kobayashi:
Monotonically controlling right linear grammars with unknown behaviors to output a target string. 387-408 - Naoki Kobayashi:
Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. 409-416 - Alexander Okhotin, Kai Salomaa:
Edit distance neighbourhoods of input-driven pushdown automata. 417-430 - Fumiya Okubo, Takashi Yokomori:
Decomposition and factorization of chemical reaction transducers. 431-442 - David Orellana-Martín, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez:
A path to computational efficiency through membrane computing. 443-453 - Narad Rampersad, Jeffrey O. Shallit, Élise Vandomme:
Critical exponents of infinite balanced words. 454-463 - Jan van Leeuwen, Jirí Wiedermann:
Question answering by humans and machines: A complexity-theoretic view. 464-473 - Tingfang Wu, Linqiang Pan, Artiom Alhazov:
Computation power of asynchronous spiking neural P systems with polarizations. 474-489
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
