Skip to main page content
Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

My NCBI Filters
Results by year

Table representation of search results timeline featuring number of search results per year.

Year Number of Results
2018 1
2019 1
2020 1
2021 1
2022 0
Text availability
Article attribute
Article type
Publication date

Search Results

2 results
Results by year
Filters applied: . Clear all
Page 1
Backdoors for Linear Temporal Logic.
Meier A, Ordyniak S, Ramanujan MS, Schindler I. Meier A, et al. Among authors: ordyniak s. Algorithmica. 2019;81(2):476-496. doi: 10.1007/s00453-018-0515-5. Epub 2018 Sep 18. Algorithmica. 2019. PMID: 30828121 Free PMC article.