default search action
Applicable Algebra in Engineering, Communication and Computing, Volume 12
Volume 12, Number 1/2, 2001
- Jürgen Giesl
, Pierre Lescanne:
Special Issue "Termination". 1-2 - Hans Zantema:
The Termination Hierarchy for Term Rewriting. 3-19 - Dieter Hofbauer:
Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational Complexity. 21-38 - Jürgen Giesl
Verification of Erlang Processes by Dependency Pairs. 39-72 - Enno Ohlebusch:
Termination of Logic Programs: Transformational Methods Revisited. 73-116 - Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
A General Framework for Automatic Termination Analysis of Logic Programs. 117-156 - Sofie Verbaeten, Danny De Schreye
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. 157-196
Volume 12, Number 3, 2001
- Nick Cropper, Ursula Martin
The Classification of Polynomial Orderings on Monadic Terms. 197-226 - Radomir S. Stankovic, Claudio Moraga, Jaakko Astola:
From Fourier Expansions to Arithmetic-Haar Expressions on Quaternion Groups. 227-253 - Z. Hu, X. Li, Donald Mills, Eva Nuria Müller, W. Sun, Wolfgang Willems, Y. Yang, Z. Zhang:
On the Crosscorrelation of Sequences with the Decimation Factor d = (pn+1)/(p+1) - (pn-1)/2. 255-263 - Harald Niederreiter, Arne Winterhof
On the Lattice Structure of Pseudorandom Numbers Generated over Arbitrary Finite Fields. 265-272
Volume 12, Number 4, 2001
- Vakhtang Lomadze:
Convolutional Codes and Coherent Sheaves. 273-326 - Patrizio Frosini
Size Functions and Formal Series. 327-349
Volume 12, Number 5, 2001
- Francesca Cioffi
Remarks on the Computation of Minimal Finite Free Resolutions. 351-363 - San Ling
Duadic Codes over F2 + uF2. 365-379 - Koji Chinen, Toyokazu Hiramatsu:
Hyper-Kloosterman Sums and their Applications to the Coding Theory. 381-390 - Yoshio Takane, Michael A. Hunter:
Constrained Principal Component Analysis: A Comprehensive Theory. 391-419 - Hoon Hong:
Ore Subresultant Coefficients in Solutions. 421-428 - Manfred Göbel:
Visualizing Properties of Comprehensive SAGBI Bases - Two Examples. 429-435
Volume 12, Number 6, 2001
- Maurice Mignotte, Doru Stefanescu:
Estimates for Polynomial Roots. 437-453 - Volker Weispfenning:
Semilinear Motion Planning in REDLOG. 455-475 - Tim Blackmore, Graham H. Norton:
Matrix-Product Codes over Fq. 477-500
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: