J.M. Almendros-Jiménez, A. Becerra-Terón, F.J. Enciso-Baños:
Magic Sets for the XPath Language
/jucs_12_11/magic_sets_for_the

page 1651 - 1678
Vol.12 / Issue 11

J.M. Cleva, I. Pita:
Verification of CRWL Programs with Rewriting Logic
/jucs_12_11/verification_of_crwl_programs

page 1594 - 1617
Vol.12 / Issue 11

M. Espák:
Japlo: Rule-based Programming on Java
/jucs_12_9/japlo_rule_based_programming

page 1177 - 1189
Vol.12 / Issue 9

P. Julián, G. Moreno, J. Penabad:
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
/jucs_12_11/operational_interpretive_unfolding_of

page 1679 - 1699
Vol.12 / Issue 11

L. Museros, M.T. Escrig:
Modeling Motion by the Integration of Topology and Time
/jucs_9_9/modeling_motion_by_the

page 1096 - 1122
Vol.9 / Issue 9

F. Ramalho, J. Robin, R. Barros:
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models
/jucs_9_8/xocl_an_xml_language

page 956 - 969
Vol.9 / Issue 8

J. Robin, J. Vitorino, A. Wolf:
Constraint Programming Architectures: Review and a New Proposal
/jucs_13_6/constraint_programming_architectures_review

page 701 - 720
Vol.13 / Issue 6

J. Sánchez-Hernández:
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
/jucs_12_11/constructive_failure_in_functional

page 1574 - 1593
Vol.12 / Issue 11

L. de Freitas, M. Caraciolo, M. Cornélio:
Logic Programming for Verification of Object-Oriented Programming Law Conditions
/jucs_13_6/logic_programming_for_verification

page 721 - 736
Vol.13 / Issue 6