Linear Deductive Planning

From International Center for Computational Logic

Toggle side column

Linear Deductive Planning

Gerd Gros̈eGerd Gros̈e,  Steffen HölldoblerSteffen Hölldobler,  Josef SchneebergerJosef Schneeberger
Linear Deductive Planning


Gerd Gros̈e, Steffen Hölldobler, Josef Schneeberger
Linear Deductive Planning
Journal of Logic and Computation, 6(2):233-262, 1996
@article{GHS1996,
  author  = {Gerd Gros{\"}e and Steffen H{\"{o}}lldobler and Josef Schneeberger},
  title   = {Linear Deductive Planning},
  journal = {Journal of Logic and Computation},
  volume  = {6},
  number  = {2},
  year    = {1996},
  pages   = {233-262}
}