TABLEAUX 2005: Position Papers and Tutorial Descriptions

Technical Report

Author(s):Bernhard Beckert
Institution:Universität Koblenz-Landau
Number:12–2005
Volume:Fachberichte Informatik
Year:2005
URL:https://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-12-2005.pdf

BibTeX

@TechReport{	  beckert:12:2005,
  author	= "Bernhard Beckert",
  title		= "{TABLEAUX 2005: Position Papers and Tutorial
		  Descriptions}",
  institution	= "{Universit{\"a}t Koblenz-Landau}",
  year		= 2005,
  volume	= "Fachberichte Informatik",
  number	= "12--2005",
  address	= "Universit{\"a}t Koblenz-Landau, Institut f{\"u}r
		  Informatik, Universit{\"a}tsstr. 1, D-56070 Koblenz",
  url		= "https://www.uni-koblenz.de/fb4/publikationen/gelbereihe/RR-12-2005.pdf"
		  ,
  issn		= "1860-4471"
}