LATPub59: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 12: | Zeile 12: | ||
|Note= | |Note= | ||
|Number= | |Number= | ||
|Pages=1 | |Pages=1-18 | ||
|Publisher= | |Publisher= | ||
|Volume=2 | |Volume=2 | ||
Version vom 20. März 2015, 16:28 Uhr
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
F. BaaderF. Baader, H.-J. BürckertH.-J. Bürckert, B. NebelB. Nebel, W. NuttW. Nutt, G. SmolkaG. Smolka
F. Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Journal of Logic, Language and Information, 2:1-18, 1993
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Journal of Logic, Language and Information, 2:1-18, 1993
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderBuerckert+-JLLI-93,
author = {F. {Baader} and H.-J. {B\"urckert} and B. {Nebel} and W. {Nutt} and G. {Smolka}},
journal = {Journal of Logic, Language and Information},
pages = {1--18},
title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations},
volume = {2},
year = {1993},
}
