scientific article; zbMATH DE number 515724

From MaRDI portal

Publication:4283225

Jump to:navigation, search

zbMath0788.68042MaRDI QIDQ4283225

Herman Ruge Jervell, Stål Aanderaa

Publication date: 2 June 1994

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

zbMATH Keywords

completeness theorem propositional linear logic register machines finite counter models Trakhtenbrots theorem

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

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