back to publications overview

Reasoning with Constraints and Well-Founded Negation


Frieder Stolzenburg and Oliver Obst. Reasoning with Constraints and Well-Founded Negation. In Documents of the ERCIM/Compulog Workshop on Constraints, Schloß Hagenberg, Linz, 1997.
An abstract appeared in Fachberichte Informatik 23/1997, pp. 9-10, Universität Koblenz-Landau


Download

[PDF] (508 kb) [gzipped postscript] [web page]


Abstract

Not available

BiBTeX Entry


@InProceedings{   SO97b,
  address	= {Schlo{\ss} Hagenberg, Linz},
  author	= {Frieder Stolzenburg and Oliver Obst},
  booktitle	= {Documents of the ERCIM/Compulog Workshop on Constraints},
  html		=
		   {http://contraintes.inria.fr/~soliman/ercim/Workshops/Workshop2/Doc/document
		   s.html} ,
  title 	= {Reasoning with Constraints and Well-Founded Negation},
  url		=
		   {http://contraintes.inria.fr/~soliman/ercim/Workshops/Workshop2/Doc/Abs/stol
		   zenburg.ps.gz} ,
  wwwnote	= {An abstract appeared in Fachberichte Informatik 23/1997, pp. 9-10,
		   Universit{\"a}t Koblenz-Landau},
  year		= {1997},
 ,
 ,
}