Publications

AuthID
P-001-54H

Author(s)

Dyckhoff, R

Document Type

Article

Year published

1999

Published

in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975

Volume: 212, Issue: 1-2, Pages: 141-155 (15)

Conference

Gentzen Conference, Date: OCT 03-05, 1996, Location: ROME, ITALY

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/s0304-3975(98)00138-8

SCOPUS: 2-s2.0-0344563295

Wos: WOS:000078006700006

Source Identifiers

ISSN: 0304-3975

Export Publication Metadata

Marked List

Info

At this moment we don't have any links to full text documens.

Useful Links