Martin Janta-Polczynski
York University(CA)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Semantic Web and Ontologies, Advanced Database Systems and Queries, Logic, Reasoning, and Knowledge
Logic, programming, and type systems, Formal Methods in Verification, Semantic Web and Ontologies, Advanced Database Systems and Queries, Logic, Reasoning, and Knowledge