>
Fa
|
Ar
|
En
journal of universal computer science
سال:2006 - دوره:12 - شماره:11
An Interval Constraint Branching Scheme for Lattice Domains
- صفحه:1466-1499
Constraint Based Methods for Biological Sequence Analysis
- صفحه:1500-1520
Constructive Failure in Functional-Logic Programming: From Theory to Implementation1
- صفحه:1574-1593
Introducing the ITP Tool: a Tutorial
- صفحه:1618-1650
Magic Sets for the XPath Language
- صفحه:1651-1678
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
- صفحه:1679-1699
Process Equivalences as Global Bisimulations1
- صفحه:1521-1550
Programming and Languages J.UCS Special Issue with Extended Versions of Selected Papers from PROLE 2005: The Fifth Spanish Conference on Programming and Languages
- صفحه:1464-1465
Verification of CRWL Programs with Rewriting Logic
- صفحه:1594-1617
Verifying Real–Time Properties of tccp Programs
- صفحه:1551-1573
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved
