Rewriting Systems - Tractable and Intractable Second-Order Matching Problems

Gespeichert in:
Autor*in:

Hirata, Kouichi [verfasserIn]

Yamada, Keizo

Harao, Masateru

Format:

Artikel

Erschienen:

1999

Umfang:

10

Übergeordnetes Werk:

Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 1627(1999), Seite 432-441

Übergeordnetes Werk:

volume:1627 ; year:1999 ; pages:432-441 ; extent:10

Katalog-ID:

OLC1557791058

Nicht das Richtige dabei?

Schreiben Sie uns!