Functional and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319906850, 9783319906867
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Functional Perspective on Machine Learning via Programmable Induction and Abduction

2018 ◽  
pp. 84-98 ◽  
Author(s):  
Steven Cheung ◽  
Victor Darvariu ◽  
Dan R. Ghica ◽  
Koko Muroya ◽  
Reuben N. S. Rowe
Keyword(s):  
Machine Learning ◽  
Functional Perspective

Breaking Symmetries with Lex Implications

2018 ◽  
pp. 182-197
Author(s):  
Michael Codish ◽  
Thorsten Ehlers ◽  
Graeme Gange ◽  
Avraham Itzhakov ◽  
Peter J. Stuckey

scholarly journals On Probabilistic Term Rewriting

2018 ◽  
pp. 132-148 ◽  
Author(s):  
Martin Avanzini ◽  
Ugo Dal Lago ◽  
Akihisa Yamada
Keyword(s):  
Term Rewriting ◽  
Probabilistic Term

scholarly journals CauDEr: A Causal-Consistent Reversible Debugger for Erlang

2018 ◽  
pp. 247-263 ◽  
Author(s):  
Ivan Lanese ◽  
Naoki Nishida ◽  
Adrián Palacios ◽  
Germán Vidal
Load More ...
Sign in / Sign up

Export Citation Format

Share Document