DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
Undecidability and Complexity for Super-Turing Models of Computation
In: Proceedings; Volume 81; Issue 1; Pages: 123 (2022)
BASE
Show details
2
Ground stack tree rewriting and traces of counter systems ; Réécriture d’arbres de piles et traces de systèmes à compteurs
Penelle, Vincent. - : HAL CCSD, 2015
In: https://pastel.archives-ouvertes.fr/tel-01286343 ; Informatique et langage [cs.CL]. Université Paris-Est, 2015. Français. ⟨NNT : 2015PESC1122⟩ (2015)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
2
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern