Péter Szeredi

From MaRDI portal
Person:2909142

Available identifiers

zbMath Open szeredi.peterMaRDI QIDQ2909142

List of research outcomes





PublicationDate of PublicationType
The Semantic Web Explained2015-02-18Paper
Static Type Inference for the Q language using Constraint Logic Programming2014-02-25Paper
Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving2013-01-02Paper
Static type checking for the Q functional language in Prolog2012-08-29Paper
Plagiarism Detection in Source Programs Using Structural Similarities2010-04-08Paper
Efficient description logic reasoning in Prolog: The DLog system2009-08-19Paper
Prolog Based Description Logic Reasoning2009-01-22Paper
https://portal.mardi4nfdi.de/entity/Q48129812004-08-12Paper

Research outcomes over time

This page was built for person: Péter Szeredi

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