Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1994 (1)
Publication types (Num. hits)
article(1)
Venues (Conferences, Journals, ...)
IEEE Trans. Knowl. Data Eng.(1)
Authors
Ke Wang(1) Li-Yan Yuan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 13 keywords
Results
Found 1 publication records. Showing 1 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
36Ke Wang, Li-Yan Yuan First-Order Logic Characterization of Program Properties. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF eductive databases, program properties, order reducible, FO-reducible programs, EDBs, database context, theorem-proving tools, stratified acyclic program, general chained program, bounded program, nonrecursive program, perfect models, extensional database, query processing, logic programming, logic programs, database theory, deductive databases, first-order logic, updates, integrity constraints, programming theory, fixed points, formal logic, inference rules, query answering, first-order theory
Displaying result #1 - #1 of 1 (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