Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Omega-completeness (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957 (1) 1986 (1) 1990 (2) 2008 (1) 2023 (1)
Publication types (Num. hits)
article(4) inproceedings(2)
Venues (Conferences, Journals, ...)
CONCUR(1) Formal Aspects Comput.(1) Inf. Comput.(1) J. Symb. Log.(1) KR(1) Theor. Comput. Sci.(1)
Authors
Aad Mathijssen(1) Azeddine Lazrek(1) Jan Friso Groote(1) Jan Heering(1) Jean-Jacques Thiel(1) Jorge Fandinno(1) Leon Henkin(1) Murdoch James Gabbay(1) Pierre Lescanne(1) Vladimir Lifschitz(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
36Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness Search on Bibsonomy Inf. Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29Murdoch James Gabbay, Aad Mathijssen Capture-avoiding substitution as a nominal algebra. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution
25Jorge Fandinno, Vladimir Lifschitz Omega-Completeness of the Logic of Here-and-There and Strong Equivalence of Logic Programs. Search on Bibsonomy KR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Jan Friso Groote A New Strategy for Proving omega-Completeness applied to Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Jan Heering Partial Evaluation and omega-Completeness of Algebraic Specifications. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Leon Henkin A Generalization of the Concept of omega-Completeness. Search on Bibsonomy J. Symb. Log. The full citation details ... 1957 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (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