Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | 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