Wolfgang Schönfeld

From MaRDI portal
Person:3210887

Available identifiers

zbMath Open schonfeld.wolfgangMaRDI QIDQ3210887

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q32108881989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38216301988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33401941983-01-01Paper
Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36711651981-01-01Paper
An undecidability result for relation algebras1979-01-01Paper
Shorter Notes: On the Residual Finiteness of Free Semigroups and Composition of Boolean Matrices1977-01-01Paper
Eine algebraische Konstruktion abzählbarer Modelle1977-01-01Paper

Research outcomes over time

This page was built for person: Wolfgang Schönfeld

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3210887&oldid=7370023"
Powered by MediaWiki