Search dblp for Publications

export results for "toc:db/journals/aaecc/aaecc5.bht:"

 download as .bib file

@article{DBLP:journals/aaecc/AptMP94,
  author       = {Krzysztof R. Apt and
                  Elena Marchiori and
                  Catuscia Palamidessi},
  title        = {A Declarative Approach for First-Order Built-in's of Prolog},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {159--191},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01190828},
  doi          = {10.1007/BF01190828},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/AptMP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/BachmairGW94,
  author       = {Leo Bachmair and
                  Harald Ganzinger and
                  Uwe Waldmann},
  title        = {Refutational Theorem Proving for Hierarchic First-Order Theories},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {193--212},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01190829},
  doi          = {10.1007/BF01190829},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/BachmairGW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Becker94,
  author       = {Thomas Becker},
  title        = {On Gr{\"{o}}bner Bases under Specialization},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {1--8},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01196621},
  doi          = {10.1007/BF01196621},
  timestamp    = {Wed, 18 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Becker94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/GalloM94,
  author       = {Giovanni Gallo and
                  Bhubaneswar Mishra},
  title        = {A Solution to Kronecker's Problem},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {343--370},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01188747},
  doi          = {10.1007/BF01188747},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/GalloM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Gramlich94,
  author       = {Bernhard Gramlich},
  title        = {Generalized Sufficient Conditions for Modular Termination of Rewriting},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {131--158},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01190827},
  doi          = {10.1007/BF01190827},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Gramlich94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Hardin94,
  author       = {Th{\'{e}}r{\`{e}}se Hardin},
  title        = {Eta-Conversion for the Languages of Explicit Substitutions},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {317--341},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01188746},
  doi          = {10.1007/BF01188746},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Hardin94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Huber94,
  author       = {Klaus Huber},
  title        = {On the Period Length of Generalized Inversive Pseudorandom Number
                  Generators},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {255--260},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01225640},
  doi          = {10.1007/BF01225640},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Huber94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/IvanyosRS94,
  author       = {G{\'{a}}bor Ivanyos and
                  Lajos R{\'{o}}nyai and
                  {\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
  title        = {Decomposition of Algebras over F\({}_{\mbox{q}}\)(X\({}_{\mbox{1}}\),
                  ..., X\({}_{\mbox{m}}\))},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {71--90},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01438277},
  doi          = {10.1007/BF01438277},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/IvanyosRS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/KuhnMO94,
  author       = {Norbert Kuhn and
                  Klaus Madlener and
                  Friedrich Otto},
  title        = {Computing Presentations for Subgroups of Polycyclic Groups and of
                  Context-Free Groups},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {287--316},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01225643},
  doi          = {10.1007/BF01225643},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/KuhnMO94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/LitsynMM94,
  author       = {Simon Litsyn and
                  Oscar Moreno and
                  Carlos J. Moreno},
  title        = {Divisibility Properties and New Bounds for Cyclic Codes and Exponential
                  Sums in One and Several Variables},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {105--116},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01438279},
  doi          = {10.1007/BF01438279},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/LitsynMM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/LitsynT94,
  author       = {Simon Litsyn and
                  Aimo Tiet{\"{a}}v{\"{a}}inen},
  title        = {Character Sum Constructions of Constrained Error-Correcting Codes},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {45--51},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01196624},
  doi          = {10.1007/BF01196624},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/LitsynT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/MiddeldorpH94,
  author       = {Aart Middeldorp and
                  Erik Hamoen},
  title        = {Completeness Results for Basic Narrowing},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {213--253},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01190830},
  doi          = {10.1007/BF01190830},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aaecc/MiddeldorpH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Ponomarenko94,
  author       = {Ilia N. Ponomarenko},
  title        = {Graph Isomorphism Problem and 2-Closed Permutation Groups},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {9--22},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01196622},
  doi          = {10.1007/BF01196622},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aaecc/Ponomarenko94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Ponomarenko94a,
  author       = {Ilia N. Ponomarenko},
  title        = {Graph Algebras and the Graph Isomorphism Problem},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {277--286},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01225642},
  doi          = {10.1007/BF01225642},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aaecc/Ponomarenko94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/RajanS94,
  author       = {B. Sundar Rajan and
                  M. U. Siddiqi},
  title        = {Transform Domain Characterization of Cyclic Codes over Z\({}_{\mbox{m}}\)},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {261--275},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01225641},
  doi          = {10.1007/BF01225641},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/RajanS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Simonis94,
  author       = {Juriaan Simonis},
  title        = {The Effective Length of Subcodes},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {371--377},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01188748},
  doi          = {10.1007/BF01188748},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Simonis94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Sole94,
  author       = {Patrick Sol{\'{e}}},
  title        = {Weight Distribution and Dual Distance},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {117--122},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01438280},
  doi          = {10.1007/BF01438280},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Sole94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/TarnanenT94,
  author       = {Hannu Tarnanen and
                  Aimo Tiet{\"{a}}v{\"{a}}inen},
  title        = {A Simple Method to Estimate the Maximum Nontrivial Correlation of
                  Some Sets of Sequences},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {123--128},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01438281},
  doi          = {10.1007/BF01438281},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/TarnanenT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/VaysseyreVW94,
  author       = {Ren{\'{e}}e Veysseyre and
                  Henri Veysseyre and
                  Dominique Weigel},
  title        = {Counting, Types and Symbols of Vrystallographic Point Symmetry Operations
                  of Space E\({}^{\mbox{n}}\)},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {53--70},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01196625},
  doi          = {10.1007/BF01196625},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/VaysseyreVW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/Werther94,
  author       = {Kai Werther},
  title        = {The Complexity of Sparse Polynomial Interpolation over Finite Fields},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {91--103},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01438278},
  doi          = {10.1007/BF01438278},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/Werther94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/YaghoobianB94,
  author       = {Tomik Yaghoobian and
                  Ian F. Blake},
  title        = {Two New Decoding Algorithms for Reed-Solomon Codes},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {5},
  pages        = {23--43},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01196623},
  doi          = {10.1007/BF01196623},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/YaghoobianB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics