Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor
Editor(s):
Furbach, Ulrich
Ganzinger, Harald
Hasegawa, Ryuzo
Kapur, Deepak		dblp
dblp
dblp
dblp
Not MPII Editor(s):
Furbach, Ulrich
Hasegawa, Ryuzo
Kapur, Deepak

BibTeX citekey*:

Ganzinger-et-al-01-Dagstuhl
Language:

English

Title, Conference

Title*:

Deduction



Event Address*:

Wadern/Dagstuhl, Germany
Conference URL:


Event Start Date:

28 February 1999
Event End Date:

5 March 1999
03/05/99

Event Date*
(no longer used):

-- February, 28th-March 5th, 1999
Organization:


Publisher

Name*:

IBFI
Publisher's URL:






Address*:

Wadern, Germany
Publishing Year*:

2000

Vol, No, pp., Year

Series:

Dagstuhl-Seminar-Report

Volume:


Number:

232

Month:


Pages*:

24

ISBN:

0940-1121
VG Wort Pages:

26

ISSN:




Abstract, Links, ©

Note:


LaTeX Abstract:


Categories / Keywords:


HyperLinks / References / URLs:

http://www.dagstuhl.de/DATA/Seminars/99/

Copyright Message:


Personal Comments:


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



BibTeX Entry:
@PROCEEDINGS{Ganzinger-et-al-01-Dagstuhl,
EDITOR = {Furbach, Ulrich and Ganzinger, Harald and Hasegawa, Ryuzo and Kapur, Deepak},
 TITLE = {Deduction},
 PUBLISHER = {IBFI},
 YEAR = {2000},
 TYPE = {Dagstuhl-Seminar-Report},
 INSTITUTION = {Internationales Begegnungs- und Forschungszentrum für Informatik <Dagstuhl>},
 NUMBER = {232},
 PAGES = {24},
 SERIES = {Dagstuhl-Seminar-Report},
 ADDRESS = {Wadern/Dagstuhl, Germany},
 ISBN = {0940-1121},
}

Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
Christine Kiesel		Created
02/13/2001 02:50:12 PM
Revisions
11.
10.
9.
8.
7.		Editor(s)
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel
Christine Kiesel		Edit Dates
01.09.2003 17:22:18
12.08.2003 17:37:38
28.07.2003 17:14:06
18.07.2003 17:11:02
17.01.2002 18:16:56
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section