Publications

AuthID
P-007-BDE

Author(s)

Editor(s)

Hofmann M.Rosolini G.Pavlovic D.

Document Type

Proceedings Paper

Year published

1999

Published

in Electronic Notes in Theoretical Computer Science, ISSN: 1571-0661

Volume: 29, Pages: 169-186

Conference

Ctcs '99, Conference on Category Theory and Computer Science, Date: 10 December 1999 through 12 December 1999, Location: Edinburgh

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1016/s1571-0661(05)80315-9

SCOPUS: 2-s2.0-0142075135

Source Identifiers

ISSN: 1571-0661

Export Publication Metadata

Marked List

Info

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

Useful Links