Succinctness as a Source of Complexity in Logical Formalisms (bibtex)
by Georg Gottlob, Nicola Leone, Helmut Veith
Reference:
Succinctness as a Source of Complexity in Logical FormalismsGeorg Gottlob, Nicola Leone, Helmut VeithAnn. Pure Appl. Logic, volume 97, number 1-3, pages 231-260, 1999.
Bibtex Entry:
@article{DBLP:journals/apal/GottlobLV99,
  author = {Georg Gottlob and Nicola Leone and Helmut Veith},
  title = {Succinctness as a Source of Complexity in Logical Formalisms},
  number = {1-3},
  year = {1999},
  journal = {Ann. Pure Appl. Logic},
  pages = {231--260},
  volume = {97}
}
Powered by bibtexbrowser