Login
Logged in as anonymous /
My BiBiServ
/
Logout
Search
?
Navigation
Tools
Alignment
AltAVist
ClustalW
dca
Dialign
E2G
JAli
OMA
PoSSuMsearch
PoSSuMsearch2
SWIFT Suit
Evolutionary Relationships
ConCysFind
Roci
ROCOCO
Rose
SplitsTree
Genome Comparison
AGenDA
AggloIndel
CEGeD
CG-CAT
DCJ
FFGC
Gecko
GEvolutionS
GraphTeams
MGA
newdist
REPuter
SBBI
TCRProfiler
Others
acdc
AGT-SDP
AIM
BPR
Decomp
Fly_Pres
Intronserter
jPREdictor
libfid
Metrans
mkESA
mmfind
MoRAine
Phase4
PREdictor
SciBrow
TALP
Trace2PS
Unwords
Wotd
XenDB
Primer Design
genefisher2
RNA
Shapes Studio
KnotInFrame
pAliKiss
pKiss
pknotsRG
RapidShapes
RNAalishapes
RNAshapes
aCMs
GUUGle
InSilicoDicer
Locomotif
paRNAss
planACstar
RNAforester
RNAhybrid
RNAsifter
Previous Results
Framework/Cloud
Education
Dynamic Programming
ADP
Sequence Analysis
SADR
Administration
BiBiServ policies
BiBiServ Team
Impressum
license
privacy policy
Statuscodes
TALP
Welcome
Download
References
Ohlebusch, Enno and Claves, Claus and Marche, Claude
Transforming conditional rewrite systems with extra variables into unconditional systems
, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning, volume 1705 of Lecture Notes in Artificial Intelligence, pages 111-130, Berlin, Springer-Verlag, 1999
Arts, T. and Giesl, J.
Modularity of termination using dependency pairs
, Proceedings of the 9th International Conference on Rewriting Techniques and Applications, volume 1379 of Lecture Notes in Computer Science, pages 226-240, Berlin, Springer-Verlag, 1998
Arts, T. and Giesl, J.
Termination of term rewriting using dependency pairs
, Theoretical Computer Science, 236(1&2):133-178, 2000
Apt, K. R. and Pedreschi, D. H.
Modular termination proofs for logic and pure prolog programs
, Advances in Logic Programing Theory, pages 183-229. Oxford University Press, 1994
Arts, T. and Zantema, H.
Termination of logic programs using semantic unification
, Proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, volume 1048 of Lecture Notes in Computer Science, pages 219-233, Berlin, Springer-Verlag, 1996
Codish, M. and Taboch, C.
A semantic basis for the termination analysis of logic programs
, Journal of Logic Programming, 41:103-123, 1999
Ganzinger, H. and Waldmann, U.
Termination proofs of well-moded logic programs via conditional rewrite systems
, Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems, volume 656 of Lecture Notes in Computer Science, pages 113-127, Berlin, Springer-Verlag, 1993
M. R. K. Krishna Rao, D. Kapur and Shyamasundar, R. K.
A transformational methodology for proving termination of logic programs
, Journal of Logic Programming, 34:1-41, 1998
Lindenstrauss, N. and Sagiv, Y.
Automatic termination analysis of logic programs (with detailed experimental results)
, Technical report, Hebrew University, Jerusalem, 1997
L. Pluemer
Termination Proofs for Logic Programs
, Lecture Notes in Artificial Intelligence, volume 446, Springer-Verlag, Berlin, 1990
Schreye, D. De and Decorte, S.
Termination of logic programs: The never-ending story.
, Journal of Logic Programming, 19&20:199-260, 1994
Unwords
Trace2PS
Fly_Pres
BiBiServ policies
XenDB
mmfind
OMA
RNAhybrid
TALP
Decomp
mkESA
FFGC
References
pAliKiss
References
RNAshapes
Locomotif
pknotsRG
E2G
Download
GraphTeams
AggloIndel
genefisher2
KnotInFrame
AGenDA
Bellman's GAP Cafe
RNAalishapes
ADP
BPR
DCJ
Wotd
AIM
CG-CAT
paRNAss
WebService Linklist
TCRProfiler
SBBI
pKiss
aCMs
Statuscodes
PREdictor
libfid
jPREdictor
ClustalW
RNAforester
AGT-SDP
newdist
Dialign
TALP
SWIFT Suit
PoSSuMsearch2
REPuter
Impressum
ROCOCO
acdc
InSilicoDicer
Previous Results
Metrans
RNAsifter
References
Download
Roci
Phase4
GEvolutionS
Intronserter
SplitsTree
JAli
MGA
TALP
privacy policy
license
planACstar
dca
AltAVist
GUUGle
ConCysFind
BiBiServ Team
SADR
RapidShapes
CEGeD
SciBrow
Rose
Gecko
MoRAine
PoSSuMsearch