Results 151 to 160 of about 59,128 (202)
Some of the next articles are maybe not open access.
Computational Geometry, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
2023
AbstractWe consider fragments of first-order logic (with and without equality) defined by means of standard quantifier prefix specifiers, over signatures containing no function symbols. We determine, in each case, the decidability and complexity of the (finite) satisfiability problem. Two of these results tower above the others.
openaire +1 more source
AbstractWe consider fragments of first-order logic (with and without equality) defined by means of standard quantifier prefix specifiers, over signatures containing no function symbols. We determine, in each case, the decidability and complexity of the (finite) satisfiability problem. Two of these results tower above the others.
openaire +1 more source
ELEMENTS THAT ARE PREFIXES OR USED AS PREFIXES IN UZBEK
Tarihî gelişim seyri içinde farklı kültürel çevrelerin etkisiyle değişimler yaşamış olan Türk dili, yabancı unsurların dile girmesiyle sadece söz varlığı olarak değil söz yapımı konusunda da bu kültürlerin etkisinde kalmıştır. Doğrudan Çağataycaʻnın temsilcisi olan Özbekçe; Tacikçe, Arapça ve Farsçaʻnın büyük oranda etkilediği Türk lehçelerindendir ...openaire +1 more source
Fast address lookups using controlled prefix expansion
ACM Transactions on Computer Systems, 1999G Varghese
exaly
Survey and Proposal on Binary Search Algorithms for Longest Prefix Match
IEEE Communications Surveys and Tutorials, 2011Lim Hyesook
exaly
On the nature of SI prefixes and the requirements for extending the available range
Measurement: Journal of the International Measurement Confederation, 2019Richard J C Brown
exaly