scientific article

From MaRDI portal

Revision as of 14:30, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2762491

Jump to:navigation, search

zbMath0978.00029MaRDI QIDQ2762491

No author found.

Publication date: 9 January 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Proceedings Workshop Amsterdam (Netherlands)Combining systems FroCoS '98

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) General logic (03B99)

Related Items (2)

Modular termination proofs for rewriting using dependency pairs ⋮ \({\mathcal E}\)-connections of abstract description systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2762491&oldid=15637935"