Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-12(4:1)2016
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Supersymmetry, Local Horizontal Unification, and a Solution to the Flavor Puzzle

Physical Review Letters
AstronomyPhysics
1999English

Hybrid Unification in the Description Logic EL

English

Political Unification and Independence in the Media: The Case of Taiwan

Athens Journal of Mass Media and Communications
2016English

Extending the Archimedean Positivstellensatz to the Non-Compact Case

Canadian Mathematical Bulletin
Mathematics
2001English

A Case Report of Meningioma Extending to the Middle Ear

Clinics and Practice
2012English

Gaseous Outflows in Seyferts and Unification: The Case of MRK 533

Proceedings of the International Astronomical Union
AstrophysicsAstronomyPlanetary ScienceSpace
2004English

Extending Classification Algorithms to Case-Control Studies

Biomedical Engineering and Computational Biology
2019English

Meningioma Extending to the Middle Ear; A Case Report.

Practica Otologica
Otorhinolaryngology
1991English

Pseudomyxoma Peritonei Extending to the Lower Extremity: A Case Report

World Journal of Surgical Oncology
SurgeryOncology
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy