Sections
 
Home → Campus Koblenz → Department 4: Computer Science → Publications → Fachberichte → 2005 → TABLEAUX 2005 --- Position Papers and Tutorial Descriptions

TABLEAUX 2005 --- Position Papers and Tutorial Descriptions

Fachberichte Informatik

ISSN 1860-4471

Listings available: Main Index • Default Ordering • Classified by Author Last Name •

TABLEAUX 2005 --- Position Papers and Tutorial Descriptions

Bernhard Beckert. TABLEAUX 2005 --- Position Papers and Tutorial Descriptions. Fachberichte Informatik 12--2005, Universität Koblenz-Landau, 2005.

Download

[PDF] 819.3kB 

Abstract

.

BibTeX

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

last modified 2009-05-04 15:49

Kontakt