Sigurd Schneider

From MaRDI portal
Person:1687760

Available identifiers

zbMath Open schneider.sigurdMaRDI QIDQ1687760

List of research outcomes





PublicationDate of PublicationType
Verified spilling and translation validation with repair2018-01-04Paper
A linear first-order functional intermediate language for verified compilers2015-09-14Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies2011-05-26Paper
Terminating tableaux for graded hybrid logic with global modalities and role hierarchies2009-12-01Paper

Research outcomes over time

This page was built for person: Sigurd Schneider

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