Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Probabilistic operational semantics for the lambda calculus
Lago, Ugo Dal, Zorzi, Margherita
Published in RAIRO. Informatique théorique et applications (01.07.2012)
Published in RAIRO. Informatique théorique et applications (01.07.2012)
Get full text
Journal Article
Pattern avoiding and q -decreasing binary words
Barcucci, Elena, Bernini, Antonio, Bilotta, Stefano, Pinzani, Renzo
Published in RAIRO. Theoretical informatics and applications (17.10.2025)
Published in RAIRO. Theoretical informatics and applications (17.10.2025)
Get full text
Journal Article
Preface: 11th Workshop on Non-classical Models of Automata and Applications (NCMA 2019)
Holzer, Markus, Sempere, José M.
Published in RAIRO. Informatique théorique et applications (01.01.2021)
Published in RAIRO. Informatique théorique et applications (01.01.2021)
Get full text
Journal Article
Efficient counting of k -convex polyominoes
Guttmann, Anthony J., Massazza, Paolo
Published in RAIRO. Theoretical informatics and applications (2025)
Published in RAIRO. Theoretical informatics and applications (2025)
Get full text
Journal Article
A Fibonacci analogue of the two’s complement numeration system
Labbé, Sébastien, Lepšová, Jana
Published in RAIRO. Theoretical informatics and applications (18.12.2023)
Published in RAIRO. Theoretical informatics and applications (18.12.2023)
Get full text
Journal Article
On the length of uncompletable words in unambiguous automata
Boccuto, Antonio, Carpi, Arturo
Published in RAIRO. Informatique théorique et applications (01.07.2019)
Published in RAIRO. Informatique théorique et applications (01.07.2019)
Get full text
Journal Article
Decision algorithms for Fibonacci-automatic Words, I: Basic results
Mousavi, Hamoon, Schaeffer, Luke, Shallit, Jeffrey
Published in RAIRO. Informatique théorique et applications (01.01.2016)
Published in RAIRO. Informatique théorique et applications (01.01.2016)
Get full text
Journal Article
Note on the exponential recursive k -ary trees
Ghasemi, Mina, Javanian, Mehri, Nabiyyi, Ramin Imany
Published in RAIRO. Informatique théorique et applications (2023)
Published in RAIRO. Informatique théorique et applications (2023)
Get full text
Journal Article