scholarly journals Coalgebraic logic programming: from Semantics to Implementation

2014 ◽  
Vol 26 (2) ◽  
pp. 745-783 ◽  
Author(s):  
Ekaterina Komendantskaya ◽  
John Power ◽  
Martin Schmidt
Keyword(s):  
Logic Programming ◽  
Coalgebraic Logic

scholarly journals Exploiting Parallelism in Coalgebraic Logic Programming

2014 ◽  
Vol 303 ◽  
pp. 121-148 ◽  
Author(s):  
Ekaterina Komendantskaya ◽  
Martin Schmidt ◽  
Jónathan Heras
Keyword(s):  
Logic Programming ◽  
Coalgebraic Logic

Conceptual Modeling via Logic Programming

1990 ◽  
Author(s):  
John Burge ◽  
Bill Noah ◽  
Les Smith
Keyword(s):  
Logic Programming ◽  
Conceptual Modeling
Sign in / Sign up

Export Citation Format

Share Document