Search Results - "RAIRO. Informatique théorique et applications" :: K.UTB vyhledávací portál

Loading…

Preface

by Ferrari, Luca, Massazza, Paolo
Published in RAIRO. Informatique théorique et applications (2024)

Get full text

Journal Article

Loading…

A Fibonacci analogue of the two’s complement numeration system

by Labbé, Sébastien, Lepšová, Jana
Published in RAIRO. Informatique théorique et applications (2023)

Get full text

Journal Article

Loading…

Probabilistic operational semantics for the lambda calculus

by Lago, Ugo Dal, Zorzi, Margherita
Published in RAIRO. Informatique théorique et applications (01.07.2012)

Get full text

Journal Article

Loading…

On deterministic 1-limited 5′ → 3′ sensing Watson–Crick finite-state transducers

by Nagy, Benedek, Kovács, Zita
Published in RAIRO. Informatique théorique et applications (2021)

Get full text

Journal Article

Loading…

Linear automata with translucent letters and linear context-free trace languages

by Nagy, Benedek, Otto, Friedrich
Published in RAIRO. Informatique théorique et applications (2020)

Get full text

Journal Article

Loading…

Accepting networks of evolutionary processors with resources restricted and structure limited filters

by Dassow, Jürgen, Truthe, Bianca
Published in RAIRO. Informatique théorique et applications (2021)

Get full text

Journal Article

Loading…

Publisher’s Note

by Ruimy, Anne
Published in RAIRO. Informatique théorique et applications (01.01.2021)

Get full text

Journal Article

Loading…

Publisher’s Note

by Ruimy, Anne
Published in RAIRO. Informatique théorique et applications (2021)

Get full text

Journal Article

Loading…

Preface: 11th Workshop on Non-classical Models of Automata and Applications (NCMA 2019)

by Holzer, Markus, Sempere, José M.
Published in RAIRO. Informatique théorique et applications (01.01.2021)

Get full text

Journal Article

Loading…

Synchronizing series-parallel deterministic finite automata with loops and related problems

by Bruchertseifer, Jens, Fernau, Henning
Published in RAIRO. Informatique théorique et applications (2021)

Get full text

Journal Article

Loading…

Sequences from Fibonacci to Catalan: A combinatorial interpretation via Dyck paths

by Barcucci, Elena, Bernini, Antonio, Pinzani, Renzo
Published in RAIRO. Informatique théorique et applications (2024)

Get full text

Journal Article

Loading…

A Fibonacci analogue of the two’s complement numeration system

by Labbé, Sébastien, Lepšová, Jana
Published in RAIRO. Informatique théorique et applications (18.12.2023)

Get full text

Journal Article

Loading…

On the length of uncompletable words in unambiguous automata

by Boccuto, Antonio, Carpi, Arturo
Published in RAIRO. Informatique théorique et applications (01.07.2019)

Get full text

Journal Article

Loading…

Parameterizing higher-order processes on names and processes

by Xu, Xian
Published in RAIRO. Informatique théorique et applications (01.07.2019)

Get full text

Journal Article

Loading…

Decision algorithms for Fibonacci-automatic Words, I: Basic results

by Mousavi, Hamoon, Schaeffer, Luke, Shallit, Jeffrey
Published in RAIRO. Informatique théorique et applications (01.01.2016)

Get full text

Journal Article

Loading…

Consecutive pattern-avoidance in Catalan words according to the last symbol

by Baril, Jean-Luc, Colmenares, Daniela, Ramírez, José L., Silva, Emmanuel D., Simbaqueba, Lina M., Toquica, Diana A.
Published in RAIRO. Informatique théorique et applications (2024)

Get full text

Journal Article

Loading…

An efficient certificateless multi-receiver threshold decryption scheme

by Gao, Ronghai, Zeng, Jiwen, Deng, Lunzhi
Published in RAIRO. Informatique théorique et applications (01.01.2019)

Get full text

Journal Article

Loading…

Note on the exponential recursive k -ary trees

by Ghasemi, Mina, Javanian, Mehri, Nabiyyi, Ramin Imany
Published in RAIRO. Informatique théorique et applications (2023)

Get full text

Journal Article

Loading…

The complexity of weakly recognizing morphisms

by Fleischer, Lukas, Kufleitner, Manfred
Published in RAIRO. Informatique théorique et applications (01.01.2019)

Get full text

Journal Article

Loading…

Decidability of the HD 0 L ultimate periodicity problem

by Durand, Fabien
Published in RAIRO. Informatique théorique et applications (25.04.2013)

Get full text

Journal Article

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database