Search dblp for Publications

export results for "hall algebra"

 download as .bib file

@article{DBLP:journals/ijac/Hall24,
  author       = {Emily V. Hall},
  title        = {The quasiprimitive almost elusive groups},
  journal      = {Int. J. Algebra Comput.},
  volume       = {34},
  number       = {5},
  pages        = {739--777},
  year         = {2024},
  url          = {https://doi.org/10.1142/S0218196724500280},
  doi          = {10.1142/S0218196724500280},
  timestamp    = {Fri, 20 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/Hall24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siaga/BlacheH24,
  author       = {R{\'{e}}gis Blache and
                  Emmanuel Hallouin},
  title        = {Construction of Good Codes from Weak del Pezzo Surfaces},
  journal      = {{SIAM} J. Appl. Algebra Geom.},
  volume       = {8},
  number       = {2},
  pages        = {414--459},
  year         = {2024},
  url          = {https://doi.org/10.1137/23m1549882},
  doi          = {10.1137/23M1549882},
  timestamp    = {Sun, 14 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siaga/BlacheH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siammax/GernandtHR21,
  author       = {Hannes Gernandt and
                  Fr{\'{e}}d{\'{e}}ric Enrico Haller and
                  Timo Reis},
  title        = {A Linear Relation Approach to Port-Hamiltonian Differential-Algebraic
                  Equations},
  journal      = {{SIAM} J. Matrix Anal. Appl.},
  volume       = {42},
  number       = {2},
  pages        = {1011--1044},
  year         = {2021},
  url          = {https://doi.org/10.1137/20M1371166},
  doi          = {10.1137/20M1371166},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siammax/GernandtHR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/combinatorics/KohlO20,
  author       = {Florian Kohl and
                  McCabe Olsen},
  title        = {Level Algebras and {\textdollar}{\textbackslash}mathbf \{s\}{\textdollar}-Lecture
                  Hall Polytopes},
  journal      = {Electron. J. Comb.},
  volume       = {27},
  number       = {3},
  pages        = {3},
  year         = {2020},
  url          = {https://doi.org/10.37236/8626},
  doi          = {10.37236/8626},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/KohlO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/JaberFAKHE20,
  author       = {Mohamad Jaber and
                  Yli{\`{e}}s Falcone and
                  Paul C. Attie and
                  Al{-}Abbass Khalil and
                  Rayan Hallal and
                  Antoine El{-}Hokayem},
  title        = {From global choreographies to verifiable efficient distributed implementations},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {115},
  pages        = {100577},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100577},
  doi          = {10.1016/J.JLAMP.2020.100577},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/JaberFAKHE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlap/ZhaoH20,
  author       = {Xin Zhao and
                  Philipp Haller},
  title        = {Replicated data types that unify eventual consistency and observable
                  atomic consistency},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {114},
  pages        = {100561},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jlamp.2020.100561},
  doi          = {10.1016/J.JLAMP.2020.100561},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/ZhaoH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HallerM19,
  author       = {Philipp Haller and
                  Heather Miller},
  title        = {A reduction semantics for direct-style asynchronous observables},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {105},
  pages        = {75--111},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jlamp.2019.03.002},
  doi          = {10.1016/J.JLAMP.2019.03.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HallerM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HallerV19,
  author       = {Philipp Haller and
                  Vasco Thudichum Vasconcelos},
  title        = {Special issue on the tenth Workshop on Programming Language Approaches
                  to Concurrency- and Communication-cEntric Software},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {106},
  pages        = {196--197},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jlamp.2019.05.004},
  doi          = {10.1016/J.JLAMP.2019.05.004},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HallerV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cogsci/BoothNBYH19,
  author       = {Julie L. Booth and
                  Kristie J. Newton and
                  Christina Barbieri and
                  Laura K. Young and
                  Nicole R. Hallinen},
  editor       = {Ashok K. Goel and
                  Colleen M. Seifert and
                  Christian Freksa},
  title        = {Improving Fraction Knowledge to Open the Door to Algebra},
  booktitle    = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society,
                  CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,
                  July 24-27, 2019},
  pages        = {3414},
  publisher    = {cognitivesciencesociety.org},
  year         = {2019},
  url          = {https://mindmodeling.org/cogsci2019/papers/0722/index.html},
  timestamp    = {Wed, 17 Apr 2024 12:43:09 +0200},
  biburl       = {https://dblp.org/rec/conf/cogsci/BoothNBYH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/mp/AhmadiH18,
  author       = {Amir Ali Ahmadi and
                  Georgina Hall},
  title        = {{DC} decomposition of nonconvex polynomials with algebraic techniques},
  journal      = {Math. Program.},
  volume       = {169},
  number       = {1},
  pages        = {69--94},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10107-017-1144-5},
  doi          = {10.1007/S10107-017-1144-5},
  timestamp    = {Tue, 17 Apr 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mp/AhmadiH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icls/HallinenB18,
  author       = {Nicole R. Hallinen and
                  Julie L. Booth},
  editor       = {Manolis Mavrikis and
                  Kaska Porayska{-}Pomsta},
  title        = {Don't just do it, explain it: {A} 5th grade worked examples curriculum
                  supports transfer to algebra content},
  booktitle    = {Rethinking learning in the digital age: Making the Learning Sciences
                  count - Proceedings of the 13th International Conference of the Learning
                  Sciences, {ICLS} 2018, London, UK, June 23-27, 2018},
  publisher    = {International Society of the Learning Sciences},
  year         = {2018},
  url          = {https://repository.isls.org/handle/1/782},
  timestamp    = {Thu, 06 May 2021 10:07:13 +0200},
  biburl       = {https://dblp.org/rec/conf/icls/HallinenB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HalleBGBB16,
  author       = {Sylvain Hall{\'{e}} and
                  Nicolas Bergeron and
                  Francis Guerin and
                  Gabriel Le Breton and
                  Oussama Beroual},
  title        = {Declarative layout constraints for testing web applications},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {85},
  number       = {5},
  pages        = {737--758},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jlamp.2016.04.001},
  doi          = {10.1016/J.JLAMP.2016.04.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HalleBGBB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamdm/BenedettiHM16,
  author       = {Carolina Benedetti and
                  Joshua Hallam and
                  John M. Machacek},
  title        = {Combinatorial Hopf Algebras of Simplicial Complexes},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {30},
  number       = {3},
  pages        = {1737--1757},
  year         = {2016},
  url          = {https://doi.org/10.1137/15M1038281},
  doi          = {10.1137/15M1038281},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/BenedettiHM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/AhmadiH15,
  author       = {Amir Ali Ahmadi and
                  Georgina Hall},
  title        = {{DC} Decomposition of Nonconvex Polynomials with Algebraic Techniques},
  journal      = {CoRR},
  volume       = {abs/1510.01518},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.01518},
  eprinttype    = {arXiv},
  eprint       = {1510.01518},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AhmadiH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/dnb/Stussak13,
  author       = {Christian Stussak},
  title        = {On reliable visualization algorithms for real algebraic curves and
                  surfaces},
  school       = {Universit{\"{a}}ts- und Landesbibliothek Sachsen-Anhalt, Halle
                  (Saale)},
  year         = {2013},
  url          = {https://nbn-resolving.org/urn:nbn:de:gbv:3:4-10854},
  urn          = {urn:nbn:de:gbv:3:4-10854},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Stussak13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/NovelliTT13,
  author       = {Jean{-}Christophe Novelli and
                  Lenny Tevlin and
                  Jean{-}Yves Thibon},
  title        = {On some Noncommutative Symmetric Functions analogous to Hall-Littlewood
                  and Macdonald polynomials},
  journal      = {Int. J. Algebra Comput.},
  volume       = {23},
  number       = {4},
  pages        = {779--802},
  year         = {2013},
  url          = {https://doi.org/10.1142/S0218196713400092},
  doi          = {10.1142/S0218196713400092},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/NovelliTT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ejc/Lass12,
  author       = {Bodo Lass},
  title        = {The algebra of set functions {II:} An enumerative analogue of Hall's
                  theorem for bipartite graphs},
  journal      = {Eur. J. Comb.},
  volume       = {33},
  number       = {2},
  pages        = {199--214},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ejc.2011.09.037},
  doi          = {10.1016/J.EJC.2011.09.037},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/Lass12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlms/FuY12,
  author       = {Changjian Fu and
                  Dong Yang},
  title        = {The Ringel-Hall Lie algebra of a spherical object},
  journal      = {J. Lond. Math. Soc.},
  volume       = {85},
  number       = {2},
  pages        = {511--533},
  year         = {2012},
  url          = {https://doi.org/10.1112/jlms/jdr064},
  doi          = {10.1112/JLMS/JDR064},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlms/FuY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jgt/AlonHKPY11,
  author       = {Noga Alon and
                  H. Tracy Hall and
                  Christian Knauer and
                  Rom Pinchasi and
                  Raphael Yuster},
  title        = {On graphs and algebraic graphs that do not contain cycles of length
                  4},
  journal      = {J. Graph Theory},
  volume       = {68},
  number       = {2},
  pages        = {91--102},
  year         = {2011},
  url          = {https://doi.org/10.1002/jgt.20542},
  doi          = {10.1002/JGT.20542},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/AlonHKPY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamam/HallCO10,
  author       = {Cameron L. Hall and
                  S. Jonathan Chapman and
                  John R. Ockendon},
  title        = {Asymptotic Analysis of a System of Algebraic Equations Arising in
                  Dislocation Theory},
  journal      = {{SIAM} J. Appl. Math.},
  volume       = {70},
  number       = {7},
  pages        = {2729--2749},
  year         = {2010},
  url          = {https://doi.org/10.1137/090778444},
  doi          = {10.1137/090778444},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamam/HallCO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmsjcm/CohenHM08,
  author       = {Arjeh M. Cohen and
                  Sergei Haller and
                  Scott H. Murray},
  title        = {Computing in Unipotent and Reductive Algebraic Groups},
  journal      = {{LMS} J. Comput. Math.},
  volume       = {11},
  pages        = {343--366},
  year         = {2008},
  url          = {https://doi.org/10.1112/s1461157000000632},
  doi          = {10.1112/S1461157000000632},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmsjcm/CohenHM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rml/VidalT06,
  author       = {Juan Climent Vidal and
                  Juan Soliveres Tur},
  title        = {On the Completeness Theorem of Many-sorted Equational Logic and the
                  Equivalence between Hall Algebras and B{\'{e}}nabou Theories},
  journal      = {Reports Math. Log.},
  volume       = {40},
  pages        = {127--158},
  year         = {2006},
  url          = {https://rml.tcs.uj.edu.pl/rml-40/06-climent.pdf},
  timestamp    = {Wed, 08 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rml/VidalT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sswmc/SchyndelTSHO99,
  author       = {Ron G. van Schyndel and
                  Andrew Z. Tirkel and
                  Imants D. Svalbe and
                  Thomas E. Hall and
                  Charles F. Osborne},
  editor       = {Ping Wah Wong and
                  Edward J. Delp III},
  title        = {Algebraic construction of a new class of quasi-orthogonal arrays for
                  steganography},
  booktitle    = {Security and Watermarking of Multimedia Contents, San Jose, CA, USA,
                  January 23, 1999},
  series       = {{SPIE} Proceedings},
  volume       = {3657},
  pages        = {354--364},
  publisher    = {{SPIE}},
  year         = {1999},
  url          = {https://doi.org/10.1117/12.344685},
  doi          = {10.1117/12.344685},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sswmc/SchyndelTSHO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/HallZ98,
  author       = {Thomas Eric Hall and
                  Shuhua Zhang},
  title        = {On Radical Congruence Systems {II}},
  journal      = {Int. J. Algebra Comput.},
  volume       = {8},
  number       = {3},
  pages        = {363--398},
  year         = {1998},
  url          = {https://doi.org/10.1142/S0218196798000181},
  doi          = {10.1142/S0218196798000181},
  timestamp    = {Sun, 28 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/HallZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0096998,
  author       = {Richard S. Bird and
                  Oege de Moor},
  title        = {Algebra of programming},
  series       = {Prentice Hall International series in computer science},
  publisher    = {Prentice Hall},
  year         = {1997},
  isbn         = {978-0-13-507245-5},
  timestamp    = {Thu, 03 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0096998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/AuingerHRZ97,
  author       = {Karl Auinger and
                  Thomas Eric Hall and
                  Norman R. Reilly and
                  Shuhua Zhang},
  title        = {Congruences on the Lattice of Pseudovarieties of Finite Semigroups},
  journal      = {Int. J. Algebra Comput.},
  volume       = {7},
  number       = {4},
  pages        = {433--456},
  year         = {1997},
  url          = {https://doi.org/10.1142/S0218196797000198},
  doi          = {10.1142/S0218196797000198},
  timestamp    = {Sun, 28 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/AuingerHRZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/AuingerH96,
  author       = {Karl Auinger and
                  Thomas Eric Hall},
  title        = {Representations of Semigroups by Transformations and the Congruence
                  Lattice of an Eventually Regular Semigroup},
  journal      = {Int. J. Algebra Comput.},
  volume       = {6},
  number       = {6},
  pages        = {655--686},
  year         = {1996},
  url          = {https://doi.org/10.1142/S0218196796000386},
  doi          = {10.1142/S0218196796000386},
  timestamp    = {Sun, 28 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/AuingerH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/daglib/0077284,
  author       = {Chris D. Godsil},
  title        = {Algebraic combinatorics},
  series       = {Chapman and Hall mathematics series},
  publisher    = {Chapman and Hall},
  year         = {1993},
  isbn         = {978-0-412-04131-0},
  timestamp    = {Thu, 03 Nov 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0077284.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/MelanconR93,
  author       = {Guy Melan{\c{c}}on and
                  Christophe Reutenauer},
  title        = {Computing Hall exponents in the Free Group},
  journal      = {Int. J. Algebra Comput.},
  volume       = {3},
  number       = {3},
  pages        = {275--294},
  year         = {1993},
  url          = {https://doi.org/10.1142/S0218196793000196},
  doi          = {10.1142/S0218196793000196},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/MelanconR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/apn/BestDH92,
  author       = {Eike Best and
                  Raymond R. Devillers and
                  Jon G. Hall},
  editor       = {Grzegorz Rozenberg},
  title        = {The box calculus: a new causal algebra with multi-label communication},
  booktitle    = {Advances in Petri Nets 1992, The {DEMON} Project},
  series       = {Lecture Notes in Computer Science},
  volume       = {609},
  pages        = {21--69},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55610-9\_167},
  doi          = {10.1007/3-540-55610-9\_167},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/BestDH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/apn/HopkinsHB92,
  author       = {Richard P. Hopkins and
                  Jon G. Hall and
                  Oliver Botti},
  editor       = {Grzegorz Rozenberg},
  title        = {A basic-net algebra for program semantics and its application to {OCCAM}},
  booktitle    = {Advances in Petri Nets 1992, The {DEMON} Project},
  series       = {Lecture Notes in Computer Science},
  volume       = {609},
  pages        = {179--214},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55610-9\_172},
  doi          = {10.1007/3-540-55610-9\_172},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/HopkinsHB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigmod/Hall84,
  author       = {Patrick A. V. Hall},
  editor       = {Beatrice Yormark},
  title        = {Relational Algebras, Logic, and Functional Programming},
  booktitle    = {SIGMOD'84, Proceedings of Annual Meeting, Boston, Massachusetts, USA,
                  June 18-21, 1984},
  pages        = {326--333},
  publisher    = {{ACM} Press},
  year         = {1984},
  url          = {https://doi.org/10.1145/602259.602301},
  doi          = {10.1145/602259.602301},
  timestamp    = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/Hall84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cca/HallM78,
  author       = {David L. Hall and
                  B. Craig Meyers},
  title        = {A method for determining the coefficients of a reversed power series},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {11-12},
  number       = {4-1},
  pages        = {16--19},
  year         = {1978},
  url          = {https://doi.org/10.1145/1088252.1088257},
  doi          = {10.1145/1088252.1088257},
  timestamp    = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/HallM78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/Hall75,
  author       = {Andrew D. Hall Jr.},
  title        = {Solving a Problem in Eigenvalue Approximation with a Symbolic Algebra
                  System},
  journal      = {{SIAM} J. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {163--174},
  year         = {1975},
  url          = {https://doi.org/10.1137/0204013},
  doi          = {10.1137/0204013},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/Hall75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/popl/HallHT75,
  author       = {Patrick A. V. Hall and
                  Peter Hitchcock and
                  Stephen Todd},
  editor       = {Robert M. Graham and
                  Michael A. Harrison and
                  John C. Reynolds},
  title        = {An Algebra of Relations for Machine Computation},
  booktitle    = {Conference Record of the Second {ACM} Symposium on Principles of Programming
                  Languages, Palo Alto, California, USA, January 1975},
  pages        = {225--232},
  publisher    = {{ACM} Press},
  year         = {1975},
  url          = {https://doi.org/10.1145/512976.512998},
  doi          = {10.1145/512976.512998},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/popl/HallHT75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:persons/Hall74,
  author       = {Patrick A. V. Hall},
  title        = {Common Subexpression Identification in General Algebraic Systems},
  journal      = {Technical Rep. {UKSC} 0060, {IBM} United Kingdom Scientific Centre},
  year         = {1974},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/persons/Hall74.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.