In this issue

Papers published: 10

Total pages: 236

Unique views: 11993

Total views: 15151

open access

Go to issue

« Previous
Issue 12(11)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 12(11)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Programming and Languages
Editorial
Programming and Languages
Francisco López-Fraguas
10.3217/jucs-012-11
 28-11-2006
 Unique: 910 | Total: 1115
 1464-1465
HTML
XML
PDF
An Interval Constraint Branching Scheme ...
Research Article
An Interval Constraint Branching Scheme for Lattice Domains
    Antonio J. Fernández Leiva, Patricia Hill
10.3217/jucs-012-11-1466
 28-11-2006
 Unique: 1242 | Total: 1522
 1466-1499
HTML
XML
PDF
Constraint Based Methods for Biological ...
Research Article
Constraint Based Methods for Biological Sequence Analysis
Maryam Bavarian, Veronica Dahl
10.3217/jucs-012-11-1500
 28-11-2006
 Unique: 1179 | Total: 1483
 1500-1520
HTML
XML
PDF
Process Equivalences as Global Bisimulations
Research Article
Process Equivalences as Global Bisimulations
David Escrig, Carlos Rodríguez
10.3217/jucs-012-11-1521
 28-11-2006
 Unique: 1171 | Total: 1469
 1521-1550
HTML
XML
PDF
Verifying Real-Time Properties of tccp ...
Research Article
Verifying Real-Time Properties of tccp Programs
María Alpuente, María del Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
10.3217/jucs-012-11-1551
 28-11-2006
 Unique: 1245 | Total: 1564
 1551-1573
HTML
XML
PDF
Constructive Failure in Functional-Logic ...
Research Article
Constructive Failure in Functional-Logic Programming: From Theory to Implementation
Jaime Sánchez-Hernández
10.3217/jucs-012-11-1574
 28-11-2006
 Unique: 1167 | Total: 1512
 1574-1593
HTML
XML
PDF
Verification of CRWL Programs with Rewriting ...
Research Article
Verification of CRWL Programs with Rewriting Logic
José Cleva, Isabel Pita
10.3217/jucs-012-11-1594
 28-11-2006
 Unique: 1141 | Total: 1442
 1594-1617
HTML
XML
PDF
Introducing the ITP Tool: a Tutorial
Research Article
Introducing the ITP Tool: a Tutorial
Manuel Clavel, Miguel Palomino, Adrián Riesco
10.3217/jucs-012-11-1618
 28-11-2006
 Unique: 1440 | Total: 1763
 1618-1650
HTML
XML
PDF
Magic Sets for the XPath Language
Research Article
Magic Sets for the XPath Language
Jesús Almendros-Jiménez,     Antonio Becerra-Terón, Francisco Enciso-Baños
10.3217/jucs-012-11-1651
 28-11-2006
 Unique: 1262 | Total: 1654
 1651-1678
HTML
XML
PDF
Operational/Interpretive Unfolding of ...
Research Article
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
Pascual Julián, Ginés Moreno, Jaime Penabad
10.3217/jucs-012-11-1679
 28-11-2006
 Unique: 1236 | Total: 1627
 1679-1699
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK