Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.1 - PROGRAMMING TECHNIQUES
Topic D.1.6 - Logic Programming

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
E. Oliva, A. Natali, A. Ricci, M. Viroli:
An Adaptation Logic Framework for Java-based Component Systems
/jucs_14_13/an_adaptation_logic_framework
page 2158 - 2181
Vol.14 / Issue 13
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