Search dblp for Publications

export results for "log-like structure"

 download as .bib file

@article{DBLP:journals/jlap/KosiolJT24,
  author       = {Jens Kosiol and
                  Stefan John and
                  Gabriele Taentzer},
  title        = {A generic construction for crossovers of graph-like structures and
                  its realization in the Eclipse Modeling Framework},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {136},
  pages        = {100909},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jlamp.2023.100909},
  doi          = {10.1016/J.JLAMP.2023.100909},
  timestamp    = {Sat, 13 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlap/KosiolJT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kostana23,
  author       = {Ziemowit Kostana},
  title        = {Cohen-like first order structures},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {174},
  number       = {1},
  pages        = {103172},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.apal.2022.103172},
  doi          = {10.1016/J.APAL.2022.103172},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kostana23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2308-15426,
  author       = {Marcelo E. Coniglio},
  title        = {Combining swap structures: the case of Paradefinite Ivlev-like modal
                  logics based on {FDE}},
  journal      = {CoRR},
  volume       = {abs/2308.15426},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2308.15426},
  doi          = {10.48550/ARXIV.2308.15426},
  eprinttype    = {arXiv},
  eprint       = {2308.15426},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2308-15426.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/soco/ConiglioG19,
  author       = {Marcelo E. Coniglio and
                  Ana Claudia Golzio},
  title        = {Swap structures semantics for Ivlev-like modal logics},
  journal      = {Soft Comput.},
  volume       = {23},
  number       = {7},
  pages        = {2243--2254},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00500-018-03707-4},
  doi          = {10.1007/S00500-018-03707-4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/ConiglioG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/Kangas17,
  author       = {Kaisa Kangas},
  title        = {Finding a field in a Zariski-like structure},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {168},
  number       = {10},
  pages        = {1837--1865},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.apal.2017.04.002},
  doi          = {10.1016/J.APAL.2017.04.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Kangas17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/HyttinenK16,
  author       = {Tapani Hyttinen and
                  Kaisa Kangas},
  title        = {Quasiminimal structures, groups and Zariski-like geometries},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {167},
  number       = {6},
  pages        = {457--505},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.apal.2016.02.002},
  doi          = {10.1016/J.APAL.2016.02.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/HyttinenK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/Mantova15,
  author       = {Vincenzo Mantova},
  title        = {A Pseudoexponential-like Structure on the Algebraic numbers},
  journal      = {J. Symb. Log.},
  volume       = {80},
  number       = {4},
  pages        = {1339--1347},
  year         = {2015},
  url          = {https://doi.org/10.1017/jsl.2014.41},
  doi          = {10.1017/JSL.2014.41},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/Mantova15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dfg/Duck14,
  author       = {Stefan D{\"{u}}ck},
  editor       = {Anja Jentzsch and
                  Tobias Pape and
                  Sebastian Pasewaldt},
  title        = {Quantitative Automata and Logics on Tree-like Structures},
  booktitle    = {Proceedings of the 8th Joint Workshop of the German Research Training
                  Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June
                  15-18, 2014},
  pages        = {141},
  publisher    = {Pro Business GmbH},
  year         = {2014},
  timestamp    = {Wed, 03 Jun 2020 14:50:52 +0200},
  biburl       = {https://dblp.org/rec/conf/dfg/Duck14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tvlsi/TungLLH12,
  author       = {Hui{-}Hsiang Tung and
                  Rung{-}Bin Lin and
                  Mei{-}Chen Li and
                  Tsung{-}Han Heish},
  title        = {Standard Cell Like Via-Configurable Logic Blocks for Structured {ASIC}
                  in an Industrial Design Flow},
  journal      = {{IEEE} Trans. Very Large Scale Integr. Syst.},
  volume       = {20},
  number       = {12},
  pages        = {2184--2197},
  year         = {2012},
  url          = {https://doi.org/10.1109/TVLSI.2011.2170712},
  doi          = {10.1109/TVLSI.2011.2170712},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvlsi/TungLLH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijflis/KimK10b,
  author       = {Seong{-}Gon Kim and
                  Yong{-}Gi Kim},
  title        = {Protein Secondary Structure Prediction using Multiple Neural Network
                  Likelihood Models},
  journal      = {Int. J. Fuzzy Log. Intell. Syst.},
  volume       = {10},
  number       = {4},
  pages        = {314--318},
  year         = {2010},
  url          = {https://doi.org/10.5391/IJFIS.2010.10.4.314},
  doi          = {10.5391/IJFIS.2010.10.4.314},
  timestamp    = {Fri, 03 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijflis/KimK10b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Mathissen2009,
  author       = {Christian Mathissen},
  title        = {Weighted Automata and Weighted Logics over Tree-like Structures},
  school       = {Leipzig University, Germany},
  year         = {2009},
  url          = {http://www.dr.hut-verlag.de/978-3-86853-180-0.html},
  urn          = {urn:nbn:de:101:1-200911262900},
  isbn         = {978-3-86853-180-0},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Mathissen2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/Helmberg09,
  author       = {Christoph Helmberg},
  editor       = {Cynthia Barnhart and
                  Uwe Clausen and
                  Ulrich Lauther and
                  Rolf H. M{\"{o}}hring},
  title        = {Network Models with Convex Cost Structure like Bundle Methods},
  booktitle    = {Models and Algorithms for Optimization in Logistics, 21.06. - 26.06.2009},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {09261},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2009},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2009/2190/},
  timestamp    = {Thu, 10 Jun 2021 13:02:04 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Helmberg09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isvlsi/LiTLL08,
  author       = {Mei{-}Chen Li and
                  Hui{-}Hsiang Tung and
                  Chien{-}Chung Lai and
                  Rung{-}Bin Lin},
  title        = {Standard Cell Like Via-Configurable Logic Block for Structured ASICs},
  booktitle    = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2008, 7-9
                  April 2008, Montpellier, France},
  pages        = {381--386},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISVLSI.2008.50},
  doi          = {10.1109/ISVLSI.2008.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isvlsi/LiTLL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jolli/Komagata03,
  author       = {Nobo Komagata},
  title        = {Information Structure in Subordinate and Subordinate-Like Clauses},
  journal      = {J. Log. Lang. Inf.},
  volume       = {12},
  number       = {3},
  pages        = {301--318},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1024158621568},
  doi          = {10.1023/A:1024158621568},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/Komagata03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Walukiewicz02,
  author       = {Igor Walukiewicz},
  title        = {Monadic second-order logic on tree-like structures},
  journal      = {Theor. Comput. Sci.},
  volume       = {275},
  number       = {1-2},
  pages        = {311--346},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(01)00185-2},
  doi          = {10.1016/S0304-3975(01)00185-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Walukiewicz02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/BerwangerB01,
  author       = {Dietmar Berwanger and
                  Achim Blumensath},
  editor       = {Erich Gr{\"{a}}del and
                  Wolfgang Thomas and
                  Thomas Wilke},
  title        = {The Monadic Theory of Tree-like Structures},
  booktitle    = {Automata, Logics, and Infinite Games: {A} Guide to Current Research
                  [outcome of a Dagstuhl seminar, February 2001]},
  series       = {Lecture Notes in Computer Science},
  volume       = {2500},
  pages        = {285--302},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-36387-4\_16},
  doi          = {10.1007/3-540-36387-4\_16},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/BerwangerB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/Walukiewicz96,
  author       = {Igor Walukiewicz},
  editor       = {Claude Puech and
                  R{\"{u}}diger Reischuk},
  title        = {Monadic Second Order Logic on Tree-Like Structures},
  booktitle    = {{STACS} 96, 13th Annual Symposium on Theoretical Aspects of Computer
                  Science, Grenoble, France, February 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1046},
  pages        = {401--413},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-60922-9\_33},
  doi          = {10.1007/3-540-60922-9\_33},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Walukiewicz96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rocling/SuHS91,
  author       = {Keh{-}Yih Su and
                  Yu{-}Ling Hsu and
                  Claire Saillard},
  editor       = {Hsi{-}Jian Lee},
  title        = {Constructing {A} Phrase Structure Grammar By Incorporating Linguistic
                  Knowledge And Statistical Log-Likelihood Ratio},
  booktitle    = {Proceedings of Rocling Computational Linguistics Conference, {ROCLING}
                  1991, Pingtung, Taiwan, August 1991},
  pages        = {257--275},
  publisher    = {The Association for Computational Linguistics and Chinese Language
                  Processing {(ACLCLP)}},
  year         = {1991},
  url          = {https://aclanthology.org/O91-1009/},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rocling/SuHS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/BergstraT82,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Some Natural Structures which Fail to Possess a Sound and Decidable
                  Hoare-Like Logic for their While-Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {17},
  pages        = {303--315},
  year         = {1982},
  url          = {https://doi.org/10.1016/0304-3975(82)90027-5},
  doi          = {10.1016/0304-3975(82)90027-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.