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 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 35: | Zeile 35: | ||
year = {1993}, | year = {1993}, | ||
} | } | ||
}} | }} |
Version vom 23. März 2015, 13:23 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},
}