scientific article; zbMATH DE number 6296812

zbMath1295.03017MaRDI QIDQ5416169

Amílcar Sernadas, Carlos Caleiro

Publication date: 19 May 2014

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

Mathematics Subject Classification ID

Combined logics (03B62)

Related Items (1)

Deciding Theoremhood in Fibred Logics Without Shared Connectives

This page was built for publication: