The Boolean Solution Problem from the Perspective of Predicate Logic

From International Center for Computational Logic

Toggle side column

The Boolean Solution Problem from the Perspective of Predicate Logic

Christoph WernhardChristoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic


Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic
In Clare Dixon, Marcelo Finger, eds., 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, volume 10483 of LNCS (LNAI), 333-350, 2017. Springer
The final publication is available at Springer.
@inproceedings{W2017,
  author    = {Christoph Wernhard},
  title     = {The Boolean Solution Problem from the Perspective of Predicate
               Logic},
  editor    = {Clare Dixon and Marcelo Finger},
  booktitle = {11th International Symposium on Frontiers of Combining Systems,
               {FroCoS} 2017},
  series    = {LNCS (LNAI)},
  volume    = {10483},
  publisher = {Springer},
  year      = {2017},
  pages     = {333-350}
}