Staffan Bonnier

From MaRDI portal
Person:1097681

Available identifiers

zbMath Open bonnier.staffanMaRDI QIDQ1097681

List of research outcomes





PublicationDate of PublicationType
Logic programs with polymorphic types: A condition for static type checking2023-03-09Paper
https://portal.mardi4nfdi.de/entity/Q48585801995-12-17Paper
https://portal.mardi4nfdi.de/entity/Q40352291993-05-18Paper
A simple fixed point characterization of three-valued stable model semantics1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q32017441989-01-01Paper
Logic programming with external procedures: Introducing S-unification1988-01-01Paper

Research outcomes over time

This page was built for person: Staffan Bonnier

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