Algebra, Meaning, and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540354628, 9783540354642
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From OBJ to ML to Coq

2006 ◽  
pp. 216-234
Author(s):  
Jacek Chrząszcz ◽  
Jean-Pierre Jouannaud

Extension Morphisms for CommUnity

2006 ◽  
pp. 173-193 ◽  
Author(s):  
Nazareno Aguirre ◽  
Tom Maibaum ◽  
Paulo Alencar

scholarly journals A Functorial Framework for Constraint Normal Logic Programming

2006 ◽  
pp. 555-577 ◽  
Author(s):  
Paqui Lucio ◽  
Fernando Orejas ◽  
Edelmira Pasarella ◽  
Elvira Pino
Keyword(s):  
Logic Programming ◽  
Normal Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document