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 |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors=H.-J. Bürckert; B. Nebel; W. Nutt; G. Smolka | |FurtherAuthors=H.-J. Bürckert; B. Nebel; W. Nutt; G. Smolka | ||
| Zeile 12: | Zeile 12: | ||
|Note= | |Note= | ||
|Number= | |Number= | ||
|Pages=1 | |Pages=1-18 | ||
|Publisher= | |Publisher= | ||
|Volume=2 | |Volume=2 | ||
| Zeile 35: | Zeile 35: | ||
year = {1993}, | year = {1993}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 16:34 Uhr
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Franz BaaderFranz Baader, H.-J. BürckertH.-J. Bürckert, B. NebelB. Nebel, W. NuttW. Nutt, G. SmolkaG. Smolka
Franz 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},
}
