Skip to main content
Menu
Filter Results
Search all journals
Enter search termsâŠ
Advanced search
Search
Access/Profile
CHN
/
ENG
Browse
Information for
Search results
Search results page
Save Search
Articles (3)
Journals (0)
Save Search
1-3 of 3
results for
highly undecidable problems
Filters
Filters
Edit Search
Sort by:
Relevance
Select all
Export selected citations
Select all
Export selected citations
Edit Search
Sort by:
Relevance
Select article: Highly Undecidable Problems about Recognizability by Tiling Systems
Restricted access
Research article
First published May, 2009
Highly Undecidable Problems about Recognizability by Tiling Systems
Olivier Finkel
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
Restricted access
Research article
First published 2021
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
Olivier Finkel,
MichaĆ Skrzypczak
Fundamenta Informaticae
Preview Abstract
Get Access
Select article: Classes of Timed Automata and the Undecidability of Universality
Restricted access
Research article
First published January, 2008
Classes of Timed Automata and the Undecidability of Universality
Arnaldo V. Moura,
Guilherme A. Pinto
Fundamenta Informaticae
Preview Abstract
Get Access
1
10 / page