Hirsch, R; (2018) Decidability of equational theories for subsignatures of relation algebra. In: Relational and Algebraic Methods in Computer Science. RAMiCS 2018. Lecture Notes in Computer Science, vol 11194. (pp. pp. 87-96). Springer: Cham.
https://ift.tt/2Q9rCWB
Αρχειοθήκη ιστολογίου
-
►
2020
(289)
- ► Φεβρουαρίου (28)
-
►
2019
(9071)
- ► Δεκεμβρίου (19)
- ► Σεπτεμβρίου (54)
- ► Φεβρουαρίου (3642)
- ► Ιανουαρίου (3200)
-
▼
2018
(39872)
-
▼
Δεκεμβρίου
(3318)
-
▼
Δεκ 01
(123)
- Examination of the enhanced recovery guidelines in...
- Neuromonitoring in the elderly
- Incremental value of noncerebral somatic tissue ox...
- Extravascular lung water monitoring for thoracic a...
- Spinal cord perfusion protection for thoraco-abdom...
- Prehabilitation is better than cure
- Biomarkers and postoperative cognitive function: c...
- Delayed recovery following thoracic surgery: persi...
- Development of a predictive model using endoscopic...
- Functional Microbiomics in Liver Transplantation: ...
- Early diagnosis and treatment of subclinical ABMR ...
- Dynamic Frailty Before Kidney Transplantation—Time...
- Changes in frailty status – some better, some worse
- Subclinical Antibody Mediated Rejection after Kidn...
- Congenital Midline Cervical Cleft and W-Plasty: Ou...
- Nitrate Reductase Inhibition Induces Lipid Enhance...
- Metabolic Activity of Micromycetes Affecting Urban...
- Water Quality Assessment of Tributaries of Batang ...
- Issue Information
- Diagnostic and other challenges
- Developments in the field of allergy in 2017 throu...
- Best of the Other Journals
- Forthcoming Meetings
- Cover Image
- Inhibition of autophagy by chloroquine makes chemo...
- Sequential treatment of daylight photodynamic ther...
- Targeted treatment of metastatic melanoma in a dru...
- A rare combination of agminated blue naevus and na...
- Concomitant granuloma annulare and necrobiosis lip...
- Aryl hydrocarbon receptor polymorphisms are associ...
- Acne development in male androgenetic alopecia
- French validation of the FACE‐Q Rhinoplasty module
- Giving epistaxis two fingers
- Surgical and pathological outcomes of elective nec...
- TransOral Endoscopic Surgery for Posterior Palate ...
- Sex‐ and age‐adjusted prevalence estimates of skin...
- Use of an Alternative Method to Evaluate Erythema ...
- Living with alopecia areata: An online qualitative...
- Corrigendum
- The correlation and prognostic value of serum leve...
- Development and validation of mathematical models ...
- Effects of Lactobacillus salivarius WB21 combined ...
- La masse latérale de l’ethmoïde : un sinus comme l...
- Une lésion de l’aile thyroïdienne
- Abcès sous-dural bilatéral avec méningite, seconda...
- Sarcome synovial du sinus ethmoidal
- Une sinusite maxillaire compliquée d’un accident v...
- Comment réaliser l’exérèse micro/endoscopique de v...
- La dilatation des fentes olfactives
- Styloïdectomie par voie cervicale dans le syndrome...
- Recommandation de la Société française d’ORL et de...
- Le muscle styloglosse : un repère clef en cancérol...
- Impact de l’implantation cochléaire sur la fonctio...
- Chirurgie de base de langue sous assistance roboti...
- Nouvelle méthode de réglage des implants auditifs ...
- Relation entre la taille des végétations et l’otit...
- Reconstruction tridimensionnelle du rocher : compa...
- Asymétrie des aryténoïdes chez des chanteurs d’opéra
- Adénocarcinome intestinal et non intestinal des ca...
- Étude de faisabilité de l’ethmoïdectomie radicale ...
- Pourquoi certains chirurgiens n’opèrent plus systé...
- Quelle revue médicale pour votre article ?
- Proliférations lymphatiques cutanées bénignes acqu...
- Index des auteurs
- Un cas de pyoderma gangrenosum idiopathique récalc...
- Un prurigo pas comme les autres
- Paronychie chronique : un dénouement inattendu
- Une oreille rouge pas comme les autres : une vascu...
- Mélanodermie diffuse : penser à une hypovitaminose...
- Cytostéatonécrose diffuse du nouveau-né : l’intérê...
- Mucinose folliculaire révélant un lymphome T angio...
- Morphée pansclérotique résistante et rapidement ex...
- Hémangiomes congénitaux multifocaux : élargissemen...
- Sclérœdème de Buschke type II : un nouveau cas tra...
- Lymphome diffus cutané de haut grade (NOS)
- Fasciite de Schulman à propos d’un cas
- Évaluation de l’efficacité du sécukinumab pour le ...
- Efficacité respective du sécukinumab chez les pati...
- Efficacité et tolérance d’un émollient à base de p...
- Le dupilumab améliore les symptômes de douleur et/...
- Sensibilité de l’évaluation globale par l’investig...
- Effet de l’ajustement de la posologie sur le maint...
- ‘Real-life’ experience in asthmatic children treat...
- Depression and anxiety levels in mothers of childr...
- Occult Malignancy in Pediatric Tonsil and Adenoid ...
- Obstructive Sleep Apnea in Children: How it affect...
- Utilization of Emergency Department Computed Tomog...
- Marcus Gunn (jaw-winking) phenomenon in pediatric ...
- Switched CD21–/low B cells with an antigen-present...
- Sublingual allergen immunotherapy with a liquid bi...
- Interferon-lambda1 enhances Staphylococcus aureus ...
- Obesity and severe asthma
- Histopathological effects of septoplasty technique...
- Prevalence of hearing impairment and associated fa...
- Recurrent black stains of the tongue and the teeth
- Reprint of "The interaction between environmental ...
- Distinct transcriptomic profiles of early-onset at...
- SERPING1 mutation in a rare hereditary angioedema ...
- Neutrophil to lymphocyte ratio is a novel independ...
- Evidence for the approach to the diagnostic evalua...
-
▼
Δεκ 01
(123)
- ► Σεπτεμβρίου (3683)
- ► Φεβρουαρίου (2693)
- ► Ιανουαρίου (3198)
-
▼
Δεκεμβρίου
(3318)
-
►
2017
(41099)
- ► Δεκεμβρίου (3127)
- ► Σεπτεμβρίου (2173)
-
►
2016
(13807)
- ► Δεκεμβρίου (700)
- ► Σεπτεμβρίου (600)
- ► Φεβρουαρίου (1350)
- ► Ιανουαρίου (1400)
-
►
2015
(1500)
- ► Δεκεμβρίου (1450)
Ετικέτες
Σάββατο 1 Δεκεμβρίου 2018
Decidability of equational theories for subsignatures of relation algebra
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου