scientific article; zbMATH DE number 1420815
From MaRDI portal
Publication:4944881
zbMath0949.68029MaRDI QIDQ4944881
Luís Moniz Pereira, João Alexandre Leite
Publication date: 22 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Default Negation as Explicit Negation plus Update ⋮ The refinement extension principle for semantics of dynamic logic programming
This page was built for publication:
