When input-driven pushdown automata meet reversiblity

Fiche du document

Auteurs
Date

2016

Discipline
Type de document
Périmètre
Langue
Identifiants
  • handle:  10670/1.qnhxpc
  • ITA_2016__50_4_313_0
  • oai:numdam.org:ITA_2016__50_4_313_0
  • citation: RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, 50, no. 4 (2016) p 313-330
  • ZBL 1362.68149
  • MR 3614548
Source

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Relations

Ce document est lié à :
0988-3754

Collection

Numdam

Organisation

Cellule Mathdoc

Sujets proches En

Automata Automatons Automata Abstract automata Abstract machines Mathematical machine theory

Citer ce document

Martin Kutrib et al., « When input-driven pushdown automata meet reversiblity », RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, ID : 10670/1.qnhxpc

Métriques

Partage / Export

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en