LATPub59

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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

Datei:BaaderBuerckert+-JLLI-93.ps.gz

• Download

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

• Details
• Bibtex

• 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},
}