Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030391966, 9783030391973
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Repairing Web Services Workflows

2020 ◽  
pp. 37-53
Author(s):  
Thanh H. Nguyen ◽  
Enrico Pontelli ◽  
Tran Cao Son
Keyword(s):  
Web Services

Explanations for Dynamic Programming

2020 ◽  
pp. 179-195
Author(s):  
Martin Erwig ◽  
Prashant Kumar ◽  
Alan Fern
Keyword(s):  
Dynamic Programming

AQuA: ASP-Based Visual Question Answering

2020 ◽  
pp. 57-72 ◽  
Author(s):  
Kinjal Basu ◽  
Farhad Shakerin ◽  
Gopal Gupta
Keyword(s):  
Question Answering ◽  
Visual Question Answering

RTMLton: An SML Runtime for Real-Time Systems

2020 ◽  
pp. 113-130
Author(s):  
Bhargav Shivkumar ◽  
Jeffrey Murphy ◽  
Lukasz Ziarek
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

scholarly journals A Timed IO Monad

2020 ◽  
pp. 131-147 ◽  
Author(s):  
David Janin

scholarly journals Exploiting Database Management Systems and Treewidth for Counting

2020 ◽  
pp. 151-167 ◽  
Author(s):  
Johannes K. Fichte ◽  
Markus Hecher ◽  
Patrick Thier ◽  
Stefan Woltran
Keyword(s):  
Database Management ◽  
Database Management Systems ◽  
Management Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document