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 |