Brunet, P; Pous, D; Struth, G; (2017) On Decidability of Concurrent Kleene Algebra. In: Meyer, R and Nestmann, U, (eds.) Proceedings of the 28th International Conference on Concurrency Theory (CONCUR 2017). (pp. 28:1-28:15). LIPICS: Dagstuhl, Germany. Green open access
https://ift.tt/2AHg0CJ
Medicine by Alexandros G.Sfakianakis,Anapafseos 5 Agios Nikolaos,Crete 72100,Greece,tel :00302841026182 & 00306932607174
Αρχειοθήκη ιστολογίου
-
►
2020
(289)
- ► Φεβρουαρίου (28)
-
►
2019
(9071)
- ► Δεκεμβρίου (19)
- ► Σεπτεμβρίου (54)
- ► Φεβρουαρίου (3642)
- ► Ιανουαρίου (3200)
-
▼
2018
(39872)
- ► Δεκεμβρίου (3318)
- ► Σεπτεμβρίου (3683)
-
▼
Αυγούστου
(3408)
-
▼
Αυγ 06
(224)
- Establishing an Acute Pain Service in Private Prac...
- Enhanced Recovery After Shoulder Arthroplasty
- Forthcoming Issues
- Contents
- Contributors
- Copyright
- Regional Anesthesia
- Conservative management of pelvic sepsis with seve...
- Primary greater omental torsion as a cause of acut...
- Adenomyomatous hyperplasia of distal common bile d...
- Fulminant descending mediastinitis secondary to in...
- Tracheal segmental resection for tracheal cancer: ...
- Acute appendicitis as the first presentation of ap...
- Subacute carbon monoxide poisoning presenting as v...
- Necrotizing fasciitis of the lower extremity cause...
- Olfactory ensheathing cells in facial nerve regene...
- Increased expression of pendrin in eosinophilic ch...
- The effect of adenotonsillar hypertrophy and other...
- Assessment of treatment‐seeking behaviour in patie...
- Harvested vs estimated follicular units in hair tr...
- Efficacy of a moisturizer containing a pseudo‐cera...
- Introducing a novel model: The special theory of r...
- Ultrasound to improve the safety of hyaluronic aci...
- Sensitive scalp is associated with excessive sebum...
- Antera 3D camera: A novel method for evaluating th...
- Validation of novel Mycobacterium tuberculosis iso...
- Mutation-driven evolution of Pseudomonas aeruginos...
- Ex vivo characterisation of effects of renal repla...
- Effect of pregnancy on the pharmacokinetic interac...
- Biopharmaceutical Characterization of Nebulized An...
- PA3177 encodes an active diguanylate cyclase that ...
- Clinical and molecular correlates of Escherichia c...
- Assessing the effectiveness of curative benznidazo...
- Studies on Aminoglycoside Susceptibility Identifie...
- Trend and pattern of antimicrobial resistance in m...
- Crystal structures of penicillin-binding protein D...
- Local skin inflammation in cutaneous leishmaniasis...
- Limited ERG11 mutations identified in isolates of ...
- Co-occurring superior mesenteric artery syndrome a...
- Real-world outcomes in hereditary angioedema: firs...
- Content and construct validity, predictors and dis...
- Association of atopic dermatitis with allergic, au...
- Inflammation cutanée de contiguïté secondaire à un...
- Adulte collodion : une forme clinique originale de...
- Janus kinase 2 activation mechanisms revealed by a...
- Jakinibs for the Treatment of Immunodysregulation ...
- Allergic Airway Sensitization Impairs Anti-Bacteri...
- Kommentar der Schriftleitung
- Tonsillotomie verursacht weniger indirekte Kosten ...
- Prävention von Infekten der oberen Atemwege
- Weniger akute Atemwegsinfekte durch Vitamin-D-Supp...
- Rhinoplastik
- Unter welchen Bedingungen ist eine ambulante Tonsi...
- Umgang mit suizidalen Patienten
- Stimmlippenknötchen
- Fragen für die Facharztprüfung
- Diagnostik und operative Therapie der Otosklerose
- Intertriginous mastocytosis: a rare presentation o...
- A case of Carvajal syndrome associated with cervic...
- Issue Information
- Teaching & Learning Tips 11: Teaching a procedure
- Sterol profiles are valuable biomarkers for phenot...
- Mycophenolate mofetil extravasation resulting in e...
- Mycobacterium marinum infection associated with in...
- Rapid repigmentation of vitiligo with tofacitinib ...
- Randomized side-by-side comparison of 755-nm diode...
- Clinical findings, histology, and management of no...
- Clinical manifestations, management, and diagnosti...
- Clinical response after guselkumab treatment among...
- Coexistence of cutaneous Langerhans cell histiocyt...
- Collision tumor of basal cell carcinoma and nevus:...
- Combination use of systemic therapies in psoriasis...
- Severe bullous pemphigoid with flares triggered by...
- The use of asynchronous remote teledermatology to ...
- Utility of TLE1 immunohistochemistry in melanoma
- Sweet syndrome in a patient with granulomatosis wi...
- Reflectance confocal microscopy and image analysis...
- Treatment of hydroxyurea-induced ulcers with topic...
- The effects of postoperative intralesional cortico...
- Who needs penicillin allergy testing?
- Content and construct validity, predictors and dis...
- Association of atopic dermatitis with allergic, au...
- Eficacia del corticoide intratimpánico como tratam...
- Actualización del consenso sobre el diagnóstico y ...
- Tratamiento quirúrgico del angiofibroma nasofaríng...
- In vitro effect of a resin infiltrant on different...
- Clinical and Genetic Signatures of Local Recurrenc...
- Qualified Biolayer Interferometry Avidity Measurem...
- Tumor Dendritic Cells (DCs) Derived from Precursor...
- Variation in Genome-Wide NF-{kappa}B RELA Binding ...
- CX3CR1+ Macrophages and CD8+ T Cells Control Intes...
- Cellular Mechanisms Controlling Surfacing of AICL ...
- Glucocorticoids Inhibit Group 3 Innate Lymphocyte ...
- CD4+ Regulatory T Cells Exert Differential Functio...
- Role of Peptidylarginine Deiminase 4 in Neutrophil...
- Influenza A Virus Negative Strand RNA Is Translate...
- IL-7 Enables Antibody Responses to Bacterial Polys...
- Temporal Requirement for Pulmonary Resident and Ci...
- CRACR2A-Mediated TCR Signaling Promotes Local Effe...
- Mesenchymal Stromal Cells Stimulate the Proliferat...
-
▼
Αυγ 06
(224)
- ► Φεβρουαρίου (2693)
- ► Ιανουαρίου (3198)
-
►
2017
(41099)
- ► Δεκεμβρίου (3127)
- ► Σεπτεμβρίου (2173)
-
►
2016
(13807)
- ► Δεκεμβρίου (700)
- ► Σεπτεμβρίου (600)
- ► Φεβρουαρίου (1350)
- ► Ιανουαρίου (1400)
-
►
2015
(1500)
- ► Δεκεμβρίου (1450)
Ετικέτες
Δευτέρα 6 Αυγούστου 2018
On Decidability of Concurrent Kleene Algebra
Εγγραφή σε:
Σχόλια ανάρτησης (Atom)
Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου