Introduction to the Special Issue on Verification and Computational Logic

Local TagsRelease HistoryDetailsSummary

Introduction to the Special Issue on Verification and Computational Logic

Podelski, A. (2004). Introduction to the Special Issue on Verification and Computational Logic. Theory and Practice of Logic Programming (TPLP), 4.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2982-D Version Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-2983-B

Genre: Journal Article

show

show

hide

Creators:
Podelski, Andreas¹, Author

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

show

show

hide

Language(s): eng - English

Dates: Modified: 2005-01-12Date issued: 2004

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 231261
Other: Local-ID: C1256104005ECAFC-89EE3BE1B932FBCAC1256F870073F2B4-LeuschelPodelski2004

Degree: -

show

show

show

show

hide

Title: Theory and Practice of Logic Programming (TPLP)

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 4 Sequence Number: - Start / End Page: - Identifier: ISSN: 1471-0684