Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 12

Content of Issue 11
DOI: 10.3217/jucs-012-11
Programming and Languages F.J. López-Fraguas 1464
An Interval Constraint Branching Scheme for Lattice Domains A.J. Fernández, P.M. Hill 1466
Constraint Based Methods for Biological Sequence Analysis M. Bavarian, V. Dahl 1500
Process Equivalences as Global Bisimulations D. de Frutos Escrig, C.G. Rodríguez 1521
Verifying Real-Time Properties of tccp Programs M. Alpuente, M. del Mar Gallardo, E. Pimentel, A. Villanueva 1551
Constructive Failure in Functional-Logic Programming: From Theory to Implementation J. Sánchez-Hernández 1574
Verification of CRWL Programs with Rewriting Logic J.M. Cleva, I. Pita 1594
Introducing the ITP Tool: a Tutorial M. Clavel, M. Palomino, A. Riesco 1618
Magic Sets for the XPath Language J.M. Almendros-Jiménez, A. Becerra-Terón, F.J. Enciso-Baños 1651
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs P. Julián, G. Moreno, J. Penabad 1679