MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Letz, Reinhold
Stenz, Gernot		dblp
dblp
Not MPG Author(s):
Letz, Reinhold
Editor(s):
Cialdea Mayer, Marta
Pirri, Fiora		dblp
dblp
Not MPII Editor(s):
Cialdea Mayer, Marta
Pirri, Fiora
BibTeX cite key*:
LETZ03
Title, Booktitle
Title*:
Universal variables in disconnection tableaux
Booktitle*:
Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Rome, Italy
Language:
English
Event Date*
(no longer used):
-- July 30th - August 1st
Organization:
Event Start Date:
9 September 2003
Event End Date:
12 September 2003
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Artificial Intelligence
Volume:
2796
Number:
Month:
Pages:
117-133
Year*:
2003
VG Wort Pages:
ISBN/ISSN:
3-540-40787-1
Sequence Number:
DOI:
Note, Abstract, ©
URL for the Abstract:
http://link.springer.de/link/service/series/0558/bibs/2381/23810235.htm
Download
Access Level:
Public

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
Expert
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort



BibTeX Entry:
@INPROCEEDINGS{LETZ03,
AUTHOR = {Letz, Reinhold and Stenz, Gernot},
 EDITOR = {Cialdea Mayer, Marta and Pirri, Fiora},
 TITLE = {Universal variables in disconnection tableaux},
 BOOKTITLE = {Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003},
 PUBLISHER = {Springer},
 YEAR = {2003},
 VOLUME = {2796},
 PAGES = {117--133},
 SERIES = {Lecture Notes in Artificial Intelligence},
 ADDRESS = {Rome, Italy},
 ISBN = {3-540-40787-1},
}

Entry last modified by Anja Becker, 01/28/2008
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Anja Becker		Created
06/21/2004 03:03:06 PM
Revision
0.



Editor
Anja Becker



Edit Date
21.06.2004 15:10:22