Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified

von Zaniolo, Carlo
Veröffentlicht in International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming (2018)