Search dblp for Publications

export results for "toc:db/journals/amai/amai16.bht:"

 download as .bib file

@article{DBLP:journals/amai/BeauzamyFM96,
  author       = {Bernard Beauzamy and
                  Jean{-}Louis Frot and
                  Christian Millour},
  title        = {Massively Parallel Computations on Many-variable Polynomials},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {251--283},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127800},
  doi          = {10.1007/BF02127800},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/BeauzamyFM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Cegielski96,
  author       = {Patrick C{\'{e}}gielski},
  title        = {Definability, Decidability, Complexity},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {311--341},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127802},
  doi          = {10.1007/BF02127802},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Cegielski96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Colson96,
  author       = {Lo{\"{\i}}c Colson},
  title        = {A Unary Representation Result for System {T}},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {385--403},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127804},
  doi          = {10.1007/BF02127804},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Colson96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Creignou96,
  author       = {Nadia Creignou},
  title        = {Exact Complexity of Problems of Incompletely Specified Automata},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {237--249},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127799},
  doi          = {10.1007/BF02127799},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Creignou96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Delon96,
  author       = {Fran{\c{c}}oise Delon},
  title        = {Formal Power Series},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {59--73},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127794},
  doi          = {10.1007/BF02127794},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Delon96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/FerbusV96,
  author       = {Marie C. Ferbus and
                  Jacqueline Vauzeilles},
  title        = {Ordinals {I:} Basic Notions},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {1--26},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127792},
  doi          = {10.1007/BF02127792},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/FerbusV96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Grandjean96,
  author       = {Etienne Grandjean},
  title        = {Sorting, Linear Time and the Satisfiability Problem},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {183--236},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127798},
  doi          = {10.1007/BF02127798},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Grandjean96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Holin96,
  author       = {Hubert Holin},
  title        = {Some Artefacts of Integer-computer Circles},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {153--181},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127797},
  doi          = {10.1007/BF02127797},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Holin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Krivine96,
  author       = {Jean{-}Louis Krivine},
  title        = {About Classical Logic and Imperative Programming},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {405--414},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127805},
  doi          = {10.1007/BF02127805},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Krivine96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Mazoyer96,
  author       = {Jacques Mazoyer},
  title        = {Computations on One Dimensional Cellular Automata},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {285--309},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127801},
  doi          = {10.1007/BF02127801},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Mazoyer96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Pin96,
  author       = {Jean{-}Eric Pin},
  title        = {Logic, Semigroups and Automata on Words},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {343--384},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127803},
  doi          = {10.1007/BF02127803},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Pin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Ressayre96,
  author       = {Jean{-}Pierre Ressayre},
  title        = {Polynomial Time Uniformization and Non-standard Methods},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {75--88},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127795},
  doi          = {10.1007/BF02127795},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Ressayre96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/ReveillesR96,
  author       = {Jean{-}Pierre Reveill{\`{e}}s and
                  Denis Richard},
  title        = {Back and Forth between Continuous and Discrete for the Working Computer
                  Scientist},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {89--152},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127796},
  doi          = {10.1007/BF02127796},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/ReveillesR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/amai/Vauzeilles96,
  author       = {Jacqueline Vauzeilles},
  title        = {Ordinals {II:} Some Applications and a Functorial Approach},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {16},
  pages        = {27--57},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF02127793},
  doi          = {10.1007/BF02127793},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/Vauzeilles96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.