Search dblp for Publications

• > Home > Search

@article{DBLP:journals/corr/abs-2301-10414,
  author       = {Luis A. Lastras and
                  Barry M. Trager and
                  Jonathan Lenchner and
                  Wojciech Szpankowski and
                  Chai Wah Wu and
                  Mark S. Squillante and
                  Alexander Gray},
  title        = {Towards a Unification of Logic and Information Theory},
  journal      = {CoRR},
  volume       = {abs/2301.10414},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.10414},
  doi          = {10.48550/ARXIV.2301.10414},
  eprinttype    = {arXiv},
  eprint       = {2301.10414},
  timestamp    = {Fri, 07 Feb 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-10414.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/entropy/ShorBK22,
  author       = {Oded Shor and
                  Felix Benninger and
                  Andrei Yu. Khrennikov},
  title        = {Towards Unification of General Relativity and Quantum Theory: Dendrogram
                  Representation of the Event-Universe},
  journal      = {Entropy},
  volume       = {24},
  number       = {2},
  pages        = {181},
  year         = {2022},
  url          = {https://doi.org/10.3390/e24020181},
  doi          = {10.3390/E24020181},
  timestamp    = {Fri, 02 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entropy/ShorBK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/frocos/LynchMMNR19,
  author       = {Christopher Lynch and
                  Andrew M. Marshall and
                  Catherine Meadows and
                  Paliath Narendran and
                  Veena Ravishankar},
  editor       = {Andreas Herzig and
                  Andrei Popescu},
  title        = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
  booktitle    = {Frontiers of Combining Systems - 12th International Symposium, FroCoS
                  2019, London, UK, September 4-6, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11715},
  pages        = {297--312},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29007-8\_17},
  doi          = {10.1007/978-3-030-29007-8\_17},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/frocos/LynchMMNR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1907-00227,
  author       = {Christopher Lynch and
                  Andrew M. Marshall and
                  Catherine Meadows and
                  Paliath Narendran and
                  Veena Ravishankar},
  title        = {On Asymmetric Unification for the Theory of {XOR} with a Homomorphism},
  journal      = {CoRR},
  volume       = {abs/1907.00227},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.00227},
  eprinttype    = {arXiv},
  eprint       = {1907.00227},
  timestamp    = {Tue, 19 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-00227.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Nagatsu13,
  author       = {Michiru Nagatsu},
  title        = {The limits of unification for theory appraisal: a case of economics
                  and psychology},
  journal      = {Synth.},
  volume       = {190},
  number       = {12},
  pages        = {2267--2289},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11229-011-9971-z},
  doi          = {10.1007/S11229-011-9971-Z},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Nagatsu13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/ErbaturLN11,
  author       = {Serdar Erbatur and
                  Christopher Lynch and
                  Paliath Narendran},
  editor       = {Martin Giese and
                  Roman Kuznets},
  title        = {Unification in a Theory of Blind Signatures},
  booktitle    = {{TABLEAUX} 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland,
                  July 4-8, 2011},
  series       = {Technical Report},
  volume       = {{IAM-11-002}},
  pages        = {31--44},
  year         = {2011},
  timestamp    = {Thu, 18 Nov 2021 15:00:48 +0100},
  biburl       = {https://dblp.org/rec/conf/tableaux/ErbaturLN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1012-4891,
  author       = {Deepak Kapur and
                  Andrew M. Marshall and
                  Paliath Narendran},
  editor       = {Maribel Fern{\'{a}}ndez},
  title        = {Unification modulo a partial theory of exponentiation},
  booktitle    = {Proceedings 24th International Workshop on Unification, {UNIF} 2010,
                  Edinburgh, United Kingdom, 14th July 2010},
  series       = {{EPTCS}},
  volume       = {42},
  pages        = {12--23},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.42.2},
  doi          = {10.4204/EPTCS.42.2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-4891.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tit/WuJK06,
  author       = {Yunnan Wu and
                  Kamal Jain and
                  Sun{-}Yuan Kung},
  title        = {A unification of network coding and tree-packing (routing) theorems},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {52},
  number       = {6},
  pages        = {2398--2409},
  year         = {2006},
  url          = {https://doi.org/10.1109/TIT.2006.874430},
  doi          = {10.1109/TIT.2006.874430},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tit/WuJK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/HaddadCN03,
  author       = {Wassim M. Haddad and
                  VijaySekhar Chellaboina and
                  Sergey G. Nersesov},
  title        = {A unification between partial stability of state-dependent impulsive
                  systems and stability theory for time-dependent impulsive systems},
  booktitle    = {American Control Conference, {ACC} 2003, Denver, CO, USA, June 4-6
                  2003},
  pages        = {4004--4009},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ACC.2003.1240462},
  doi          = {10.1109/ACC.2003.1240462},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/HaddadCN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ismis/Abou-AssalehCK03,
  author       = {Tony Abou{-}Assaleh and
                  Nick Cercone and
                  Vlado Keselj},
  editor       = {Ning Zhong and
                  Zbigniew W. Ras and
                  Shusaku Tsumoto and
                  Einoshin Suzuki},
  title        = {Towards the Theory of Relaxed Unification},
  booktitle    = {Foundations of Intelligent Systems, 14th International Symposium,
                  {ISMIS} 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2871},
  pages        = {397--401},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39592-8\_55},
  doi          = {10.1007/978-3-540-39592-8\_55},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/Abou-AssalehCK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Schmidt-Schauss96,
  author       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Decidability of Unification in the Theory of One-Sided Distributivity
                  and a Multiplicative Unit},
  journal      = {J. Symb. Comput.},
  volume       = {22},
  number       = {3},
  pages        = {315--344},
  year         = {1996},
  url          = {https://doi.org/10.1006/jsco.1996.0054},
  doi          = {10.1006/JSCO.1996.0054},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Schmidt-Schauss96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esann/SuykensMV95,
  author       = {Johan A. K. Suykens and
                  Bart De Moor and
                  Joos Vandewalle},
  title        = {NLq theory: unifications in the theory of neural networks, systems
                  and control},
  booktitle    = {3rd European Symposium on Artificial Neural Networks, {ESANN} 1995,
                  Brussels, Belgium, April 19-21, 1995, Proceedings},
  year         = {1995},
  url          = {https://www.esann.org/sites/default/files/proceedings/legacy/es1995-50-S.pdf},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esann/SuykensMV95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Houselander91,
  author       = {Paul Houselander},
  title        = {The theory, design, unification and implementation of a class of artificial
                  neural network},
  school       = {University College London, {UK}},
  year         = {1991},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.811910},
  timestamp    = {Wed, 10 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Houselander91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctcs/Baader89,
  author       = {Franz Baader},
  editor       = {David H. Pitt and
                  David E. Rydeheard and
                  Peter Dybjer and
                  Andrew M. Pitts and
                  Axel Poign{\'{e}}},
  title        = {Unification Properties of Commutative Theories: {A} Categorical Treatment},
  booktitle    = {Category Theory and Computer Science, Manchester, UK, September 5-8,
                  1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {389},
  pages        = {273--299},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0018357},
  doi          = {10.1007/BFB0018357},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/ctcs/Baader89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iee/Vadera88,
  author       = {Sunil Vadera},
  title        = {A theory of unification},
  journal      = {Softw. Eng. J.},
  volume       = {3},
  number       = {5},
  pages        = {149--160},
  year         = {1988},
  url          = {https://doi.org/10.1049/sej.1988.0018},
  doi          = {10.1049/SEJ.1988.0018},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/Vadera88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ctcs/RydeheardS87,
  author       = {David E. Rydeheard and
                  John G. Stell},
  editor       = {David H. Pitt and
                  Axel Poign{\'{e}} and
                  David E. Rydeheard},
  title        = {Foundations of Equational Deduction: {A} Categorical Treatment of
                  Equational Proofs and Unification Algorithms},
  booktitle    = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
                  1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {283},
  pages        = {114--139},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-18508-9\_23},
  doi          = {10.1007/3-540-18508-9\_23},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ctcs/RydeheardS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jct/Jackson77a,
  author       = {David M. Jackson},
  title        = {The Unification of Certain Enumeration Problems},
  journal      = {J. Comb. Theory {A}},
  volume       = {22},
  number       = {1},
  pages        = {92--96},
  year         = {1977},
  url          = {https://doi.org/10.1016/0097-3165(77)90066-8},
  doi          = {10.1016/0097-3165(77)90066-8},
  timestamp    = {Fri, 07 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/Jackson77a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tit/RifeGB75,
  author       = {David C. Rife and
                  M. Goldstein and
                  Robert R. Boorstyn},
  title        = {A unification of Cram{\'{e}}r-Rao type bounds (Corresp.)},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {21},
  number       = {3},
  pages        = {330--332},
  year         = {1975},
  url          = {https://doi.org/10.1109/TIT.1975.1055379},
  doi          = {10.1109/TIT.1975.1055379},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tit/RifeGB75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/Szekely62a,
  author       = {D. L. Sz{\'{e}}kely},
  title        = {A preliminary report on the theory of unification of sciences and
                  its concept transforming automation},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {3},
  number       = {4},
  pages        = {234--242},
  year         = {1962},
  url          = {https://doi.org/10.1305/ndjfl/1093957316},
  doi          = {10.1305/NDJFL/1093957316},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Szekely62a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}