Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase $omega$-type (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-2020 (9)
Publication types (Num. hits)
article(7) inproceedings(2)
Venues (Conferences, Journals, ...)
Theor. Comput. Sci.(2) Arch. Math. Log.(1) Computational Logic(1) CSNDSP(1) Expert Syst. Appl.(1) J. Comput. Syst. Sci.(1) SIAM J. Appl. Dyn. Syst.(1) SIAM J. Appl. Math.(1)
Authors
Arie Y. Gold(2) Jonathan A. Sherratt(2) Rina S. Cohen(2) Erich Leitgeb(1) Jan Köhler(1) Jens D. M. Rademacher(1) Marion Scheepers(1) Matthew J. Smith(1) Peter A. Lindsay(1) Pravin P. Patil(1) Regimantas Pliuskevicius(1) Reinhard Teschl(1) Satish C. Jain(1) Satish C. Sharma(1) Wolfgang Bösch(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
33Rina S. Cohen, Arie Y. Gold Theory of omega-Languages. II. A Study of Various Models of omega-Type Generation and Recognition. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
26Marion Scheepers The length of some diagonalization games. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF $omega$-concentrated, point-open type, $omega$-type, strong-fan type, density type, infinite game
19Jan Köhler, Wolfgang Bösch, Erich Leitgeb, Reinhard Teschl Field Bending Omega-Type Metamaterial Lens For Ku Band. Search on Bibsonomy CSNDSP The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
19Pravin P. Patil, Satish C. Sharma, Satish C. Jain Performance evaluation of a copper omega type Coriolis mass flow sensor with an aid of ANFIS tool. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
19Matthew J. Smith, Jens D. M. Rademacher, Jonathan A. Sherratt Absolute Stability of Wavetrains Can Explain Spatiotemporal Dynamics in Reaction-Diffusion Systems of Lambda-Omega Type. Search on Bibsonomy SIAM J. Appl. Dyn. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Jonathan A. Sherratt On the Evolution of Periodic Plane Waves in Reaction-Diffusion Systems of Lambda-Omega Type. Search on Bibsonomy SIAM J. Appl. Math. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Peter A. Lindsay Alternation and omega-Type Turing Acceptors. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
19Rina S. Cohen, Arie Y. Gold On the Complexity of omega-Type Turing Acceptors. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
10Regimantas Pliuskevicius On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (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