Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified

Bibliographische Detailangaben

Veröffentlicht in:	International Conference on Logic Programming (34. : 2018 : Oxford) Technical communications of the 34th International Conference on Logic Programming
1. Verfasser:	Zaniolo, Carlo (VerfasserIn)
Weitere Verfasser:	Yang, Mohan (VerfasserIn), Interlandi, Matteo (VerfasserIn), Das, Ariyam (VerfasserIn), Shkapsky, Alexander (VerfasserIn), Condie, Tyson (VerfasserIn)
Pages:	34
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2018
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!