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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540003892, 9783540363880
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic Programs for Querying Inconsistent Databases

2002 ◽  
pp. 208-222 ◽  
Author(s):  
Pablo Barceló ◽  
Leopoldo Bertossi
Keyword(s):  
Logic Programs ◽  
Inconsistent Databases

Lambda Goes to Hollywood

2002 ◽  
pp. 391-407
Author(s):  
Victor M. Gulias ◽  
Carlos Abalde ◽  
Juan J. Sanchez

A Logical Framework for Modelling eMAS

2002 ◽  
pp. 241-255 ◽  
Author(s):  
Pierangelo Dell’Acqua ◽  
Luís Moniz Pereira
Keyword(s):  
Logical Framework

Sequence Quantification

2002 ◽  
pp. 128-144
Author(s):  
Peter Schachte

SXSLT: Manipulation Language for XML

2002 ◽  
pp. 256-272 ◽  
Author(s):  
Oleg Kiselyov ◽  
Shriram Krishnamurthi
Keyword(s):  
Manipulation Language

A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises

2002 ◽  
pp. 223-240 ◽  
Author(s):  
Ana Paula Tomás ◽  
José Paulo Leal
Keyword(s):  
Computer Aided
Load More ...
Sign in / Sign up

Export Citation Format

Share Document