Zoltan A. Kocsis

From MaRDI portal
Person:682375

Available identifiers

zbMath Open kocsis.zoltan-aMaRDI QIDQ682375

List of research outcomes





PublicationDate of PublicationType
Apartness relations between propositions2025-01-09Paper
Proof-theoretic methods in quantifier-free definability2023-10-05Paper
Spined categories: generalizing tree-width beyond graphs2023-10-02Paper
Apartness relations between propositions2022-09-08Paper
Structured Decompositions: Structural and Algorithmic Compositionality2022-07-13Paper
Treewidth via Spined Categories (extended abstract)2021-05-11Paper
Conflict-free routing of multi-stop warehouse trucks2020-08-24Paper
Degree of satisfiability of some special equations2020-02-05Paper
Genetic programming \(+\) proof search \(=\) automatic improvement2018-02-02Paper
Degree of Satisfiability in Heyting AlgebrasN/APaper

Research outcomes over time

This page was built for person: Zoltan A. Kocsis

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