scientific article; zbMATH DE number 2236619
From MaRDI portal
Publication:5711869
zbMath1083.03037MaRDI QIDQ5711869
Paulo A. S. Veloso, Walter Alexandre Carnielli
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ On the Structure of Natural Deduction Derivations for “Generally” ⋮ Sequent Calculi for ‘Generally’
This page was built for publication:
