scientific article; zbMATH DE number 970706

From MaRDI portal

Revision as of 20:52, 13 March 2024 by Import240313080341 (talk | contribs) (Created automatically from import240313080341)

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

Publication:5688891

Jump to:navigation, search

zbMath0862.68017MaRDI QIDQ5688891

Lutz Plümer

Publication date: 25 May 1997

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

zbMATH Keywords

concurrent logic programs guarded Horn clauses

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Norms on terms and their use in proving universal termination of a logic program

This page was built for publication:

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