Petar Hotomski

From MaRDI portal
Person:2914042

Available identifiers

zbMath Open khotomski.petar-zMaRDI QIDQ2914042

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49223132013-05-29Paper
Dijkstra's interpretation of the approach to solving a problem of program correctness2013-01-10Paper
The concept of logic programming language based on the resolution theorem prover2012-09-21Paper
https://portal.mardi4nfdi.de/entity/Q36493572009-12-03Paper
Resolution methods in proving the program correctness2008-07-02Paper
https://portal.mardi4nfdi.de/entity/Q54246682007-11-05Paper
https://portal.mardi4nfdi.de/entity/Q48236662004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q47084252003-06-17Paper
https://portal.mardi4nfdi.de/entity/Q48748001996-07-18Paper
https://portal.mardi4nfdi.de/entity/Q37329821985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36626421983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36711221982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40934111975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56117831970-01-01Paper

Research outcomes over time

This page was built for person: Petar Hotomski

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