Conference: LOPSTR 19 (29th International Symposium on Logic-based Program Synthesis and Transformation)

Conference: LOPSTR 19 (29th International Symposium on Logic-based Program Synthesis and Transformation)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Logic-Based Synthesis of Fair Voting Rules Using Composable Modules

Logic-Based Synthesis of Fair Voting Rules Using Composable Modules

Karsten Diekhoff, Michael Kirsten and Jonas Krämer

A Certified Functional Nominal C-Unification Algorithm

A Certified Functional Nominal C-Unification Algorithm

Mauricio Ayala-Rincon, Maribel Fernández, Gabriel Silva and Daniele Nantes-Sobrinho

Presentations in this collection: 2