scientific article; zbMATH DE number 1390087
From MaRDI portal
Publication:4934354
zbMath0949.68102MaRDI QIDQ4934354
Klaus-Dieter Schewe, Bernhard Thalheim
Publication date: 26 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Topoi (18B25)
Related Items (1)
This page was built for publication:
