scientific article; zbMATH DE number 970713

zbMath0862.68071MaRDI QIDQ5688898

Joaquim N. Aparício, Luís Moniz Pereira, José Júlio Alferes

Publication date: 19 March 1997

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

zbMATH Keywords

well founded semantics\(O\)-semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

This page was built for publication: