Martin Schmidt

From MaRDI portal
Person:280196

Available identifiers

zbMath Open schmidt.martin.2MaRDI QIDQ280196

List of research outcomes





PublicationDate of PublicationType
A productivity checker for logic programming2017-10-13Paper
Heuristic-Driven Theory Projection: An Overview2016-07-18Paper
Coalgebraic logic programming: from Semantics to Implementation2016-07-07Paper
Exploiting parallelism in coalgebraic logic programming2016-05-06Paper
A mixed-integer-programming-based Gauss-Seidel method for multi-leader-multi-follower gamesN/APaper

Research outcomes over time

This page was built for person: Martin Schmidt

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