Proceedings of the 2nd International Workshop on the Implementation of Logics

de Nivelle, Hans; Schulz, Stephan

Local TagsRelease HistoryDetailsSummary

Proceedings of the 2nd International Workshop on the Implementation of Logics

de Nivelle, H., & Schulz, S. (Eds.). (2001). Proceedings of the 2nd International Workshop on the Implementation of Logics. Saarbrücken, Germany: Max-Planck-Institut für Informatik.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3130-F Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3131-D

Genre: Proceedings

Files

show Files

Locators

show

Creators

show

hide

Creators:
de Nivelle, Hans¹, Editor
Schulz, Stephan, Editor

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2003-09-01Date issued: 2001

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken, Germany : Max-Planck-Institut für Informatik

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 202139
ISSN: 0946-011X
Other: Local-ID: C1256104005ECAFC-85B5D5861A15681BC1256B84004FB61D-deNivelleSchulz2001

Degree: -

Event

show

hide

Title: Untitled Event

Place of Event: Havanna, Cuba

Start-/End Date: 2001-12-08

Legal Case

show

Project information

show

Source

show