Two-Way Parikh Automata with a Visibly Pushdown Stack (FOSSACS)

Dartois, Luc; Filiot, Emmanuel; Talbot, Jean-Marc

doi:doi/10.1007/978-3-030-17127-8_11

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

Two-Way Parikh Automata with a Visibly Pushdown Stack (FOSSACS)

par Dartois, Luc

;Filiot, Emmanuel

;Talbot, Jean-Marc
Référence Lecture notes in computer science
Publication Publié, 2019-01-01

Article révisé par les pairs

Fichier importé via le DOI

Documents en relation

DI-fusion

Southern Ocean nutrient repletion and CO2 release at the peak warmth of the Cenozoic
par Moretti, Simone , Fripiat, François , Hain, Mathis M.P. , Luciani, Valeria , Lourens, Luca , Borucki, Paul , Gerber, Lukas , Agterhuis, Tobias , Filippi, Giulia , Schiebel, Ralf , Haug, Gerald H. , Sigman, Daniel M , Martínez-García, Alfredo
Publication 2026-02-22
Ice age and deglacial stratification of the polar Antarctic Zone
par Fripiat, François , Sigman, Daniel M , Ai, Xuyuan Ellen , Dumoulin, Cédric , Moretti, Simone , Studer, Anja S. , Dieckmann, Bernard , Esper, Oliver , Frederichs, Thomas , Lamy, Frank , Liu, Ling , Pattyn, Frank , Schmitt, Mareike , Tiedemann, Ralph , Haug, Gerald H. , Martínez-García, Alfredo
Publication 2026-02-22
Global mean ocean nitrate d18O as a tracer for the supply and recycling of fixed nitrogen in the ocean
par Desmettre, Simon , Dumoulin, Cédric , Coulon, Violaine , Marconi, Dario , Marshall, Tanya , Muller, Sofia , Ryu, J.H. , Wald, Tanja , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22
Meridional nitrate gradients in the Indian Sector of the Southern Ocean over the last glacial cycle
par Dumoulin, Cédric , Desmettre, Simon , Ai, Xuyuan Ellen , Lacerra, Matthew , Lamy, Frank , Moretti, Simone , Muller, Sofia , Martínez-García, Alfredo , Sigman, Daniel M , Fripiat, François
Publication 2026-02-22
Unravelling the evolution of wood-feeding in termites with 47 high-resolution genome assemblies
par Liu, Cong , Aumont, Cédric , Mikhailova, Alina , Audisio, Tracy , Hellemans, Simon , Weng, Yi-Ming , He, Shulin , Clitheroe, Crystal-Leigh , Wang, Zongqing , Haifig, Ives , Sillam-Dussès, David , Buček, Aleš , Tokuda, Gaku , Šobotník, Jan , Harrison, Mark C. , McMahon, Dino P. , Bourguignon, Thomas
Publication 2025-12-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.