@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" }
TABLEAUX 2005: Position Papers and Tutorial Descriptions
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 |