Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ETLs with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991 (1) 2007 (1)
Publication types (Num. hits)
inproceedings(2)
Venues (Conferences, Journals, ...)
FOCS(1) ICTAC(1)
Authors
Huowang Chen(1) Ji Wang 0001(1) Nils Klarlund(1) Wanwei Liu(1) Wei Dong 0006(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
36Nils Klarlund Progress Measures for Complementation of omega-Automata with Applications to Temporal Logic Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF complementation omega -automata, languages of infinite words, Buchi automata, Streett automata, optimal complementation, temporal logic, finite-state automata, ETLs, graph-theoretic approach
33Wanwei Liu, Ji Wang 0001, Wei Dong 0006, Huowang Chen Axiomatizing Extended Temporal Logic Fragments Via Instantiation. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #2 of 2 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license