![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs768.bht:"
@article{DBLP:journals/tcs/CintulaDM19, author = {Petr Cintula and Denisa Diaconescu and George Metcalfe}, title = {Skolemization and Herbrand theorems for lattice-valued logics}, journal = {Theor. Comput. Sci.}, volume = {768}, pages = {54--75}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2019.02.007}, doi = {10.1016/J.TCS.2019.02.007}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CintulaDM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HirschJK19, author = {Robin Hirsch and Marcel Jackson and Tomasz Kowalski}, title = {Algebraic foundations for qualitative calculi and networks}, journal = {Theor. Comput. Sci.}, volume = {768}, pages = {99--116}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2019.02.033}, doi = {10.1016/J.TCS.2019.02.033}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HirschJK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HoweKS19, author = {Jacob M. Howe and Andy King and Axel Simon}, title = {Incremental Closure for Systems of Two Variables Per Inequality}, journal = {Theor. Comput. Sci.}, volume = {768}, pages = {1--42}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2018.12.001}, doi = {10.1016/J.TCS.2018.12.001}, timestamp = {Fri, 31 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HoweKS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Jay19, author = {Barry Jay}, title = {Intensional computation with higher-order functions}, journal = {Theor. Comput. Sci.}, volume = {768}, pages = {76--90}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2019.02.016}, doi = {10.1016/J.TCS.2019.02.016}, timestamp = {Thu, 28 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Jay19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Strassburger19, author = {Lutz Stra{\ss}burger}, title = {On the decision problem for {MELL}}, journal = {Theor. Comput. Sci.}, volume = {768}, pages = {91--98}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2019.02.022}, doi = {10.1016/J.TCS.2019.02.022}, timestamp = {Thu, 19 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Strassburger19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/VatandoostEP19, author = {Mehdi Vatandoost and Ali Akbar Estaji and Rahimeh Pourkhandani}, title = {A generalized modal logic in causal structures}, journal = {Theor. Comput. Sci.}, volume = {768}, pages = {43--53}, year = {2019}, url = {https://doi.org/10.1016/j.tcs.2019.02.006}, doi = {10.1016/J.TCS.2019.02.006}, timestamp = {Fri, 12 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/VatandoostEP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.