The Journal of Logic and Algebraic Programming
Latest Publications

TOTAL DOCUMENTS

575
(FIVE YEARS 0)

H-INDEX

30
(FIVE YEARS 0)

Published By Elsevier

1567-8326
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals An extended constraint deductive database: Theory and implementation

2014 ◽  
Vol 83 (1) ◽  
pp. 20-52 ◽  
Author(s):  
Gabriel Aranda-López ◽  
Susana Nieva ◽  
Fernando Sáenz-Pérez ◽  
Jaime Sánchez-Hernández
Keyword(s):  
Deductive Database ◽  
Database Theory

scholarly journals Stuttering for Abstract Probabilistic Automata

2014 ◽  
Vol 83 (1) ◽  
pp. 1-19 ◽  
Author(s):  
Benoît Delahaye ◽  
Kim G. Larsen ◽  
Axel Legay
Keyword(s):  
Probabilistic Automata

scholarly journals Conversion to tail recursion in term rewriting

2014 ◽  
Vol 83 (1) ◽  
pp. 53-63
Author(s):  
Naoki Nishida ◽  
Germán Vidal
Keyword(s):  
Term Rewriting ◽  
Tail Recursion

scholarly journals SOS rule formats for idempotent terms and idempotent unary operators

2014 ◽  
Vol 83 (1) ◽  
pp. 64-80
Author(s):  
Luca Aceto ◽  
Anna Ingolfsdottir ◽  
Eugen-Ioan Goriac

scholarly journals Session types for safe Web service orchestration

2013 ◽  
Vol 82 (8) ◽  
pp. 282-310 ◽  
Author(s):  
Jonathan Michaux ◽  
Elie Najm ◽  
Alessandro Fantechi
Keyword(s):  
Web Service ◽  
Service Orchestration ◽  
Session Types ◽  
Web Service Orchestration

scholarly journals Rewriting-based repairing strategies for XML repositories

2013 ◽  
Vol 82 (8) ◽  
pp. 326-352 ◽  
Author(s):  
María Alpuente ◽  
Demis Ballis ◽  
Moreno Falaschi ◽  
Francisco Frechina ◽  
Daniel Romero
Load More ...
Sign in / Sign up

Export Citation Format

Share Document