Programming Languages and Systems — ESOP '96 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540610557, 9783540499428
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Global analysis of standard Prolog programs

1996 ◽  
pp. 108-124 ◽  
Author(s):  
F. Bueno ◽  
D. Cabeza ◽  
M. Hermenegildo ◽  
G. Puebla
Keyword(s):  
Global Analysis ◽  
Prolog Programs

scholarly journals A rewriting logic for declarative programming

1996 ◽  
pp. 156-172 ◽  
Author(s):  
J. C. González-Moreno ◽  
M. T. Hortalá-González ◽  
F. J. López-Fraguas ◽  
M. Rodríguez-Artalejo
Keyword(s):  
Declarative Programming ◽  
Rewriting Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document