The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase step resolution (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2021 (8)
Publication types (Num. hits)
article(1) inproceedings(7)
Venues (Conferences, Journals, ...)
TIME(3) ISCAS (5)(1) KI(1) MFCS(1) MWSCAS(1) Sensors(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Found 8 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
42Alexander Bolotov, Michael Fisher 0001 A Resolution Method For CTL Branching-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
26M. Carmen Fernández Gago, Michael Fisher 0001, Clare Dixon Algorithms for Guiding Clausal Temporal Resolution. Search on Bibsonomy KI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
23Alexander Bolotov, Clare Dixon Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule. Search on Bibsonomy TIME The full citation details ... 2000 DBLP  DOI  BibTeX  RDF loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
20Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Alexander Bolotov, Clare Dixon, Michael Fisher 0001 Clausal Resolution for CTL*. Search on Bibsonomy MFCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Xing Tong, Mona Mostafa Hella, Asif Chowdhury A Two-Step Resolution-Reconfigurable Time-to-Digital Converter Using SAR ADC. Search on Bibsonomy MWSCAS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
12Subin Choi, Kyeonghwan Park, Seungwook Lee, Yeongjin Lim, Byungjoo Oh, Hee Young Chae, Chan Sam Park, Heugjoo Shin, Jae Joon Kim A Three-Step Resolution-Reconfigurable Hazardous Multi-Gas Sensor Interface for Wireless Air-Quality Monitoring Applications. Search on Bibsonomy Sensors The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
5Vishnu Balan, Tzuwang Pan A crystal oscillator with automatic amplitude control and digitally controlled pulling range of +-100 ppm. Search on Bibsonomy ISCAS (5) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license