scientific article; zbMATH DE number 970706

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 programsguarded Horn clauses

Mathematics Subject Classification ID

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

Related Items

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